[seL4] Re: Getting Badge Value of a badged EP capability