[seL4] Re: seL4 kernel memory footprint