Various PIRQ/MPTABLE/ACPI Kconfig fixes.

[coreboot.git] / src / mainboard / gigabyte / ga_2761gxdk / Kconfig

diff --git a/src/mainboard/gigabyte/ga_2761gxdk/Kconfig b/src/mainboard/gigabyte/ga_2761gxdk/Kconfig
index dcf176ee45cfe6b6dca59e82d33415f4774bf965..a8d737a9e7ad6d1de3d04df9834024177102fa8c 100644 (file)
--- a/src/mainboard/gigabyte/ga_2761gxdk/Kconfig
+++ b/src/mainboard/gigabyte/ga_2761gxdk/Kconfig
@@ -12,6 +12,7 @@ config BOARD_SPECIFIC_OPTIONS # dummy
        select HAVE_BUS_CONFIG
        select HAVE_OPTION_TABLE
        select HAVE_PIRQ_TABLE
+       select HAVE_MP_TABLE
        select CACHE_AS_RAM
        select HAVE_HARD_RESET
        select LIFT_BSP_APIC_ID