1 files changed, 7 insertions, 3 deletions
diff --git a/resources/libreboot/config/grub/kfsn4-dre_2mb/config b/resources/libreboot/config/grub/kfsn4-dre_2mb/config
index 8b14ae9..4b1d8bb 100644
--- a/resources/libreboot/config/grub/kfsn4-dre_2mb/config
+++ b/resources/libreboot/config/grub/kfsn4-dre_2mb/config
@@ -135,6 +135,7 @@ CONFIG_MAINBOARD_SMBIOS_MANUFACTURER="ASUS"
 # CONFIG_BOARD_ASUS_F2A85_M_LE is not set
 # CONFIG_BOARD_ASUS_K8V_X is not set
 CONFIG_BOARD_ASUS_KFSN4_DRE=y
+# CONFIG_BOARD_ASUS_KGPE_D16 is not set
 # CONFIG_BOARD_ASUS_M2N_E is not set
 # CONFIG_BOARD_ASUS_M2V_MX_SE is not set
 # CONFIG_BOARD_ASUS_M2V is not set
@@ -213,8 +214,8 @@ CONFIG_HEAP_SIZE=0xc0000
 # CPU
 #
 # CONFIG_CPU_ALLWINNER_A10 is not set
-CONFIG_DCACHE_BSP_STACK_SIZE=0x2000
-CONFIG_DCACHE_BSP_STACK_SLUSH=0x1000
+CONFIG_DCACHE_BSP_STACK_SIZE=0x4000
+CONFIG_DCACHE_BSP_STACK_SLUSH=0x4000
 CONFIG_DCACHE_AP_STACK_SIZE=0x400
 CONFIG_CPU_SOCKET_TYPE=0x10
 # CONFIG_EXT_RT_TBL_SUPPORT is not set
@@ -409,6 +410,7 @@ CONFIG_SUBSYSTEM_DEVICE_ID=0x0000
 # Generic Drivers
 #
 # CONFIG_DRIVERS_AS3722_RTC is not set
+CONFIG_DEVICE_SPECIFIC_OPTIONS=y
 # CONFIG_GIC is not set
 # CONFIG_SMBIOS_PROVIDED_BY_MOBO is not set
 # CONFIG_DRIVERS_I2C_RTD2132 is not set
@@ -450,7 +452,6 @@ CONFIG_USBDEBUG_DONGLE_STD=y
 # CONFIG_USBDEBUG_DONGLE_FTDI_FT232H is not set
 CONFIG_USBDEBUG_OPTIONAL_HUB_PORT=0
 CONFIG_DRIVERS_XGI_Z79_COMMON=y
-CONFIG_DEVICE_SPECIFIC_OPTIONS=y
 CONFIG_DRIVERS_XGI_Z9S=y
 # CONFIG_DRIVER_XPOWERS_AXP209 is not set
 CONFIG_RTC=y
@@ -499,6 +500,9 @@ CONFIG_POST_IO=y
 CONFIG_POST_IO_PORT=0x80
 # CONFIG_HAVE_ACPI_RESUME is not set
 CONFIG_HAVE_HARD_RESET=y
+# CONFIG_HAVE_ROMSTAGE_CONSOLE_SPINLOCK is not set
+# CONFIG_HAVE_ROMSTAGE_NVRAM_CBFS_SPINLOCK is not set
+# CONFIG_HAVE_ROMSTAGE_MICROCODE_CBFS_SPINLOCK is not set
 CONFIG_HAVE_MONOTONIC_TIMER=y
 # CONFIG_GENERIC_UDELAY is not set
 # CONFIG_TIMER_QUEUE is not set