Re-integrate "USE_OPTION_TABLE" code.
[coreboot.git] / src / mainboard / dell / s1850 / Kconfig
index 7ac83f254d6d974fe2c896d2e08cbe8a1ad8fbb6..1b0b27bdec583b7410e2ff23a07b281e817ddd67 100644 (file)
@@ -8,6 +8,7 @@ config BOARD_DELL_S1850
        select SUPERIO_NSC_PC8374
        select ROMCC
        select HAVE_HARD_RESET
+       select HAVE_OPTION_TABLE
        select BOARD_HAS_HARD_RESET
        select HAVE_PIRQ_TABLE
        select HAVE_MP_TABLE