+++ /dev/null
-Index: new/hw/i386/pc.c
-===================================================================
---- new.orig/hw/i386/pc.c 2014-11-20 06:45:06.000000000 +0100
-+++ new/hw/i386/pc.c 2014-11-20 07:26:33.000000000 +0100
-@@ -1020,9 +1020,9 @@
- /* init CPUs */
- if (cpu_model == NULL) {
- #ifdef TARGET_X86_64
-- cpu_model = "qemu64";
-+ cpu_model = "kvm64";
- #else
-- cpu_model = "qemu32";
-+ cpu_model = "kvm32";
- #endif
- }
- current_cpu_model = cpu_model;