[seL4] seL4 root task executable memory region