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

   1 Index: new/hw/pc.c
   2 ===================================================================
   3 --- new.orig/hw/pc.c    2013-02-25 06:53:21.000000000 +0100
   4 +++ new/hw/pc.c 2013-02-25 06:53:37.000000000 +0100
   5 @@ -868,9 +868,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