ms7135: add ACPI support
[coreboot.git] / src / mainboard / msi / ms7135 / Kconfig
index 586d403c25524f477a0e6b8dfd90b059a807902f..c08a16939f406eb88dc8390ca16590792b75b710 100644 (file)
@@ -17,6 +17,7 @@ config BOARD_SPECIFIC_OPTIONS # dummy
        select CK804_USE_NIC
        select CK804_USE_ACI
        select QRANK_DIMM_SUPPORT
+       select HAVE_ACPI_TABLES
 
 config MAINBOARD_DIR
        string