Make vms run the virtual kernel