--- qemu/roms/seabios/src/paravirt.h	2018/04/24 19:24:07	1.1.1.4
+++ qemu/roms/seabios/src/paravirt.h	2018/04/24 19:43:48	1.1.1.5
@@ -11,6 +11,8 @@
 
 static inline int kvm_para_available(void)
 {
+    if (CONFIG_COREBOOT)
+        return 0;
     unsigned int eax, ebx, ecx, edx;
     char signature[13];
 
@@ -26,18 +28,18 @@ static inline int kvm_para_available(voi
     return 0;
 }
 
-#define QEMU_CFG_SIGNATURE		0x00
-#define QEMU_CFG_ID			0x01
-#define QEMU_CFG_UUID			0x02
-#define QEMU_CFG_NUMA			0x0d
-#define QEMU_CFG_BOOT_MENU		0x0e
-#define QEMU_CFG_MAX_CPUS		0x0f
+#define QEMU_CFG_SIGNATURE              0x00
+#define QEMU_CFG_ID                     0x01
+#define QEMU_CFG_UUID                   0x02
+#define QEMU_CFG_NUMA                   0x0d
+#define QEMU_CFG_BOOT_MENU              0x0e
+#define QEMU_CFG_MAX_CPUS               0x0f
 #define QEMU_CFG_FILE_DIR               0x19
-#define QEMU_CFG_ARCH_LOCAL		0x8000
-#define QEMU_CFG_ACPI_TABLES		(QEMU_CFG_ARCH_LOCAL + 0)
-#define QEMU_CFG_SMBIOS_ENTRIES		(QEMU_CFG_ARCH_LOCAL + 1)
-#define QEMU_CFG_IRQ0_OVERRIDE		(QEMU_CFG_ARCH_LOCAL + 2)
-#define QEMU_CFG_E820_TABLE		(QEMU_CFG_ARCH_LOCAL + 3)
+#define QEMU_CFG_ARCH_LOCAL             0x8000
+#define QEMU_CFG_ACPI_TABLES            (QEMU_CFG_ARCH_LOCAL + 0)
+#define QEMU_CFG_SMBIOS_ENTRIES         (QEMU_CFG_ARCH_LOCAL + 1)
+#define QEMU_CFG_IRQ0_OVERRIDE          (QEMU_CFG_ARCH_LOCAL + 2)
+#define QEMU_CFG_E820_TABLE             (QEMU_CFG_ARCH_LOCAL + 3)
 
 extern int qemu_cfg_present;