KVM for x86 systems