[seL4] How to switch virtual machines linux in vm_multi from camkes-vm-example?