[seL4] Virtual address space (kernelBase) restriction