Various PIRQ/MPTABLE/ACPI Kconfig fixes.
[coreboot.git] / src / mainboard / amd / tilapia_fam10 / Kconfig
index a900fbd4dc53e5f35ad555afb492de9546c3319d..26112e1d7e58949c4526d26631459cb40277a537 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