[seL4] contiguous physical memory allocation for seL4