New patch to review for coreboot: x86/Kconfig: add PC80_NO_PIC_IRQS symbol

[Alexander Couzens]

Alexander Couzens ([e-mail]) just uploaded a new patch set to gerrit, which you can find at https://review.coreboot.org/12534

-gerrit

commit 4546432a4c33005e503d5862a2f6f4d9c8a3e0bc
Author: Alexander Couzens 
Date:   Wed Nov 25 08:23:12 2015 +0100

x86/Kconfig: add PC80_NO_PIC_IRQS symbol

Some mainboard doesn't support IRQ handling via PIC.
    E.g. Baytrail based Chromebooks.

Change-Id: Idc406f4b0b687c0785d4a7c96b683fe2b483ee38
    Signed-off-by: Alexander Couzens 
---
 src/arch/x86/Kconfig | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/src/arch/x86/Kconfig b/src/arch/x86/Kconfig
index 738e7d1..57128b0 100644
--- a/src/arch/x86/Kconfig
+++ b/src/arch/x86/Kconfig
@@ -140,3 +140,7 @@ config ID_SECTION_OFFSET
 config COMPILE_IN_DSDT
    bool "compile in DSDT and use that over DSDT in CBFS"
    default n
+
+# "Use for devices which don't support the IRQ handling via PIC. Important for legacy BIOS. SeaBIOS can switch to polling instead."
+config PC80_NO_PIC_IRQS
+	def_bool n