Remove definitions of ACPI_SSDTX_NUM to 0, that's the default anyway.

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

diff --git a/src/mainboard/gigabyte/ma785gmt/Kconfig b/src/mainboard/gigabyte/ma785gmt/Kconfig
index 685be90208555d715f32c36fe85edf9ffd1ac151..51e03fb792ef3e8c0fefb92400396e3aef9c4a33 100644 (file)
--- a/src/mainboard/gigabyte/ma785gmt/Kconfig
+++ b/src/mainboard/gigabyte/ma785gmt/Kconfig
@@ -27,6 +27,7 @@ config BOARD_SPECIFIC_OPTIONS # dummy
        select ENABLE_APIC_EXT_ID
        select TINY_BOOTBLOCK
        select GFXUMA
+       select RAMINIT_SYSINFO
 
 config MAINBOARD_DIR
        string
@@ -40,10 +41,6 @@ config MAINBOARD_PART_NUMBER
        string
        default "Gigabyte GA785GMT"
 
-config HW_MEM_HOLE_SIZEK
-       hex
-       default 0x100000
-
 config MAX_CPUS
        int
        default 8
@@ -52,10 +49,6 @@ config MAX_PHYSICAL_CPUS
        int
        default 2
 
-config HW_MEM_HOLE_SIZE_AUTO_INC
-       bool
-       default n
-
 config MEM_TRAIN_SEQ
        int
        default 2
@@ -88,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