|
@@ -107,7 +107,7 @@
|
|
#define CONFIG_BOOTFILE "bzImage"
|
|
#define CONFIG_BOOTFILE "bzImage"
|
|
#define CONFIG_LOADADDR 0x1000000
|
|
#define CONFIG_LOADADDR 0x1000000
|
|
#define CONFIG_RAMDISK_ADDR 0x4000000
|
|
#define CONFIG_RAMDISK_ADDR 0x4000000
|
|
-#ifdef CONFIG_GENERATE_ACPI_TABLE
|
|
|
|
|
|
+#if defined(CONFIG_GENERATE_ACPI_TABLE) || defined(CONFIG_EFI_STUB)
|
|
#define CONFIG_OTHBOOTARGS "othbootargs=\0"
|
|
#define CONFIG_OTHBOOTARGS "othbootargs=\0"
|
|
#else
|
|
#else
|
|
#define CONFIG_OTHBOOTARGS "othbootargs=acpi=off\0"
|
|
#define CONFIG_OTHBOOTARGS "othbootargs=acpi=off\0"
|