Re-integrate "USE_OPTION_TABLE" code.
[coreboot.git] / src / mainboard / asrock / 939a785gmh / Kconfig
index 6736e30c0c32ab6c147ffc502fd9fd345c23b5c6..2ff4a43a606ca1f3a39bd89bd00c65f74c2806eb 100644 (file)
@@ -13,6 +13,7 @@ config BOARD_ASROCK_939A785GMH
        select GENERATE_MP_TABLE
        select GENERATE_PIRQ_TABLE
        select HAVE_MAINBOARD_RESOURCES
+       select HAVE_OPTION_TABLE
        select HAVE_BUS_CONFIG
        select LIFT_BSP_APIC_ID
        select USE_PRINTK_IN_CAR