[seL4] Questions about Memory Management in seL4