Various PIRQ/MPTABLE/ACPI Kconfig fixes.
[coreboot.git] / src / mainboard / msi / ms9652_fam10 / Kconfig
index 4ed01e1fdf031400e243bdc4a68a9da2c4c4c2d3..1d7ea0460354630ffb3ae343c070c5d7f8a91408 100644 (file)
@@ -14,6 +14,7 @@ config BOARD_SPECIFIC_OPTIONS # dummy
        select HAVE_BUS_CONFIG
        select HAVE_PIRQ_TABLE
        select HAVE_MP_TABLE
+       select HAVE_ACPI_TABLES
        select CACHE_AS_RAM
        select HAVE_OPTION_TABLE
        select HAVE_HARD_RESET