diff options
Diffstat (limited to 'resources/libreboot/config/grub/x200_16mb')
| -rw-r--r-- | resources/libreboot/config/grub/x200_16mb/config | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/resources/libreboot/config/grub/x200_16mb/config b/resources/libreboot/config/grub/x200_16mb/config index 9f46e067..e454616f 100644 --- a/resources/libreboot/config/grub/x200_16mb/config +++ b/resources/libreboot/config/grub/x200_16mb/config @@ -151,7 +151,7 @@ CONFIG_USBDEBUG=y CONFIG_DRIVERS_PS2_KEYBOARD=y # CONFIG_DRIVERS_UART_8250IO is not set # CONFIG_NO_POST is not set -CONFIG_BOARD_ROMSIZE_KB_16384=y +CONFIG_BOARD_ROMSIZE_KB_8192=y # CONFIG_COREBOOT_ROMSIZE_KB_64 is not set # CONFIG_COREBOOT_ROMSIZE_KB_128 is not set # CONFIG_COREBOOT_ROMSIZE_KB_256 is not set |