[seL4] vm_multi usage