Various PIRQ/MPTABLE/ACPI Kconfig fixes.

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

diff --git a/src/mainboard/gigabyte/ma78gm/Kconfig b/src/mainboard/gigabyte/ma78gm/Kconfig
index d42af7284032454e4d08c5e5a12d52666f493ed5..9c7693240a9aa9f10f2f35becfac8c52b102b6aa 100644 (file)
--- a/src/mainboard/gigabyte/ma78gm/Kconfig
+++ b/src/mainboard/gigabyte/ma78gm/Kconfig
@@ -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,11 +22,12 @@ 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 ENABLE_APIC_EXT_ID
        select TINY_BOOTBLOCK
        select GFXUMA
+       select RAMINIT_SYSINFO
 
 config MAINBOARD_DIR
        string
@@ -80,10 +81,6 @@ config HEAP_SIZE
        hex
        default 0xc0000
 
-config ACPI_SSDTX_NUM
-       int
-       default 0
-
 config MAINBOARD_PCI_SUBSYSTEM_DEVICE_ID
        hex
        default 0x3060