update set-cpu-model-to-kvm64.patch for 1.7

diff --git a/debian/patches/set-cpu-model-to-kvm64.patch b/debian/patches/set-cpu-model-to-kvm64.patch
index 55302ff917fdde2a56625412b8bc24318ba87760..d9542330a075d36bc8137c15ed8d2bc2e3bb9981 100644 (file)
--- a/debian/patches/set-cpu-model-to-kvm64.patch
+++ b/debian/patches/set-cpu-model-to-kvm64.patch
@@ -1,8 +1,8 @@
-Index: new/hw/pc.c
+Index: new/hw/i386/pc.c
 ===================================================================
---- new.orig/hw/pc.c   2013-02-25 06:53:21.000000000 +0100
-+++ new/hw/pc.c        2013-02-25 06:53:37.000000000 +0100
-@@ -868,9 +868,9 @@
+--- new.orig/hw/i386/pc.c      2013-11-27 10:51:33.000000000 +0100
++++ new/hw/i386/pc.c   2013-11-27 11:37:06.000000000 +0100
+@@ -984,9 +984,9 @@
      /* init CPUs */
      if (cpu_model == NULL) {
  #ifdef TARGET_X86_64
@@ -13,4 +13,4 @@ Index: new/hw/pc.c
 +        cpu_model = "kvm32";
  #endif
      }
- 
+     current_cpu_model = cpu_model;