Patch set updated 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 97fe2e63b5c96c0daeb8df1245fcc7a3592088c6
Author: Alexander Couzens 
Date:   Wed Nov 25 08:23:12 2015 +0100

x86/Kconfig: add PC80_NO_PIC_IRQS symbol

Some mainboard don't use IRQ handling via PIC.

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