Re: [seL4] Re-identification of capabilities