[seL4] seL4 kernel memory footprint