added a config option for ACPI debugging

Change-Id: Ie6296f5652196c6258aa6902d84dd86c17e224cb
Signed-off-by: Cristian Măgherușan-Stanciu <cristi.magherusan@gmail.com>
Reviewed-on: http://review.coreboot.org/36
Reviewed-by: Patrick Georgi <patrick@georgi-clan.de>
Tested-by: build bot (Jenkins)
diff --git a/src/Kconfig b/src/Kconfig
index 7e6214a..7b4f487 100644
--- a/src/Kconfig
+++ b/src/Kconfig
@@ -651,6 +651,23 @@
 	  If unsure, say N.
 endif
 
+config DEBUG_ACPI
+	def_bool n
+
+# Only visible if debug level is DEBUG (7) or SPEW (8) as it does additional
+# printk(BIOS_DEBUG, ...) calls.
+if DEFAULT_CONSOLE_LOGLEVEL_7 || DEFAULT_CONSOLE_LOGLEVEL_8
+config DEBUG_ACPI
+	bool "Output verbose ACPI debug messages"
+	default n
+	help
+	  This option enables additional ACPI related debug messages.
+
+	  Note: This option will slightly increase the size of the coreboot image.
+
+	  If unsure, say N.
+endif
+
 config REALMODE_DEBUG
 	def_bool n
 	depends on PCI_OPTION_ROM_RUN_REALMODE