[seL4] Re: camkes-vm-linux kernel example