Various PIRQ/MPTABLE/ACPI Kconfig fixes.
[coreboot.git] / src / mainboard / asus / m4a785-m / Kconfig
index d42345d5ec88cf74a3baf57dca7197d68849a4c2..279da604abd7585b357ecf2a89d3e179e40751f8 100644 (file)
@@ -13,15 +13,15 @@ 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 CACHE_AS_RAM
        select HAVE_HARD_RESET
        select SB_HT_CHAIN_UNITID_OFFSET_ONLY
        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