[seL4] memory map/unmap performance