debian/patches/old/set-cpu-model-to-kvm64.patch

   1 Index: new/hw/i386/pc.c
   2 ===================================================================
   3 --- new.orig/hw/i386/pc.c       2014-11-20 06:45:06.000000000 +0100
   4 +++ new/hw/i386/pc.c    2014-11-20 07:26:33.000000000 +0100
   5 @@ -1020,9 +1020,9 @@
   6      /* init CPUs */
   7      if (cpu_model == NULL) {
   8  #ifdef TARGET_X86_64
   9 -        cpu_model = "qemu64";
  10 +        cpu_model = "kvm64";
  11  #else
  12 -        cpu_model = "qemu32";
  13 +        cpu_model = "kvm32";
  14  #endif
  15      }
  16      current_cpu_model = cpu_model;