Re: [seL4] Allocation of untyped memory