[seL4] Allocation of untyped memory