x86: Allow APCI in SPL

This is needed so we can find the DBG2 table provided by coreboot. Add a
Kconfig so it can be enabled.

Signed-off-by: Simon Glass <sjg@chromium.org>
Reviewed-by: Bin Meng <bmeng.cn@gmail.com>

diff --git a/lib/Kconfig b/lib/Kconfig
index eb2b101618240104d849d13c75d5bae9e29001ad..7edaeebfdaf534ccb4860849a31cf984f988d662 100644 (file)
--- a/lib/Kconfig
+++ b/lib/Kconfig
@@ -289,6 +289,14 @@ config ACPI
          not necessarily include generation of tables
          (see GENERATE_ACPI_TABLE), but allows for tables to be located.
 
+config SPL_ACPI
+       bool "Enable support for ACPI libraries in SPL"
+       depends on SPL && SUPPORT_ACPI
+       help
+         Provides library functions for dealing with ACPI tables in SPL. This
+         does not necessarily include generation of tables
+         (see GENERATE_ACPI_TABLE), but allows for tables to be located.
+
 config GENERATE_ACPI_TABLE
        bool "Generate an ACPI (Advanced Configuration and Power Interface) table"
        depends on ACPI