Various PIRQ/MPTABLE/ACPI Kconfig fixes.
[coreboot.git] / src / mainboard / asrock / 939a785gmh / Kconfig
index 5c48c3cd3b1253ed76d67c8c531a13eb9861b5bb..d04e41d9f2412d3066b76098041ab6f0798539ef 100644 (file)
@@ -11,9 +11,9 @@ config BOARD_SPECIFIC_OPTIONS # dummy
        select SOUTHBRIDGE_AMD_SB700
        select SUPERIO_WINBOND_W83627DHG
        select BOARD_HAS_FADT
-       select GENERATE_ACPI_TABLES
-       select GENERATE_MP_TABLE
-       select GENERATE_PIRQ_TABLE
+       select HAVE_ACPI_TABLES
+       select HAVE_MP_TABLE
+       select HAVE_PIRQ_TABLE
        select HAVE_MAINBOARD_RESOURCES
        select HAVE_OPTION_TABLE
        select HAVE_BUS_CONFIG