[seL4] Re: vm_multi usage