Various PIRQ/MPTABLE/ACPI Kconfig fixes.
[coreboot.git] / src / mainboard / amd / mahogany_fam10 / Kconfig
index 999f4c606b23c3512f0ddb6ad382126a1c711e46..8b533b8456c1948b7dcf34f9148ea38e446e9ed5 100644 (file)
@@ -13,8 +13,8 @@ config BOARD_SPECIFIC_OPTIONS # dummy
        select BOARD_HAS_FADT
        select HAVE_BUS_CONFIG
        select HAVE_OPTION_TABLE
-       select GENERATE_PIRQ_TABLE
-       select GENERATE_MP_TABLE
+       select HAVE_PIRQ_TABLE
+       select HAVE_MP_TABLE
        select HAVE_MAINBOARD_RESOURCES
        select CACHE_AS_RAM
        select HAVE_HARD_RESET
@@ -22,7 +22,7 @@ config BOARD_SPECIFIC_OPTIONS # dummy
        select LIFT_BSP_APIC_ID
        select SERIAL_CPU_INIT
        select AMDMCT
-       select GENERATE_ACPI_TABLES
+       select HAVE_ACPI_TABLES
        select BOARD_ROMSIZE_KB_1024
        select RAMINIT_SYSINFO
        select ENABLE_APIC_EXT_ID