Index: new/hw/i386/pc.c
===================================================================
---- new.orig/hw/i386/pc.c 2014-07-16 11:53:56.000000000 +0200
-+++ new/hw/i386/pc.c 2014-07-16 12:01:30.000000000 +0200
-@@ -1023,9 +1023,9 @@
+--- 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