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

   1 Index: new/hw/i386/pc.c
   2 ===================================================================
   3 --- new.orig/hw/i386/pc.c       2014-05-05 06:55:25.000000000 +0200
   4 +++ new/hw/i386/pc.c    2014-05-05 07:35:55.000000000 +0200
   5 @@ -997,9 +997,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;