Various PIRQ/MPTABLE/ACPI Kconfig fixes.

[coreboot.git] / src / mainboard / iei / juki-511p / Kconfig

diff --git a/src/mainboard/iei/juki-511p/Kconfig b/src/mainboard/iei/juki-511p/Kconfig
index 7f114c4564b83a92880914867ce81377fbd57498..d948929a04fccd0ef0d83f2baaf1cddc69630653 100644 (file)
--- a/src/mainboard/iei/juki-511p/Kconfig
+++ b/src/mainboard/iei/juki-511p/Kconfig
@@ -27,6 +27,7 @@ config BOARD_SPECIFIC_OPTIONS # dummy
        select SUPERIO_WINBOND_W83977F
        select ROMCC
        select PIRQ_ROUTE
+       select HAVE_PIRQ_TABLE
        select HAVE_OPTION_TABLE
        select BOARD_ROMSIZE_KB_256