Add support for qemu virtual machines using KVM#423

IkerGalardi wants to merge 4 commits into

seL4:mainseL4/microkit:mainfrom

IkerGalardi:kvm-supportIkerGalardi/microkit:kvm-supportCopy head branch name to clipboard