[coreboot] [PATCH]kconfig: fix intel boards

[Patrick Georgi]

Hi,

intel/jarrell and and intel/xe7501devkit didn't build as they lacked
CONFIG_MAX_CPUS. I copied the values from Config.lb


Signed-off-by: Patrick Georgi <patrick.geo...@coresystems.de>

Index: src/mainboard/intel/xe7501devkit/Kconfig
===================================================================
--- src/mainboard/intel/xe7501devkit/Kconfig	(Revision 4730)
+++ src/mainboard/intel/xe7501devkit/Kconfig	(Arbeitskopie)
@@ -43,3 +43,13 @@
 	int
 	default 12
 	depends on BOARD_INTEL_XE7501DEVKIT
+
+config MAX_CPUS
+	int
+	default 2
+	depends on BOARD_INTEL_XE7501DEVKIT
+
+config MAX_PHYSICAL_CPUS
+	int
+	default 2
+	depends on BOARD_INTEL_XE7501DEVKIT
Index: src/mainboard/intel/jarrell/Kconfig
===================================================================
--- src/mainboard/intel/jarrell/Kconfig	(Revision 4730)
+++ src/mainboard/intel/jarrell/Kconfig	(Arbeitskopie)
@@ -29,3 +29,7 @@
 	default "Jarrell"
 	depends on BOARD_INTEL_JARRELL
 
+config MAX_CPUS
+	int
+	default 4
+	depends on BOARD_INTEL_JARRELL

-- 
coreboot mailing list: coreboot@coreboot.org
http://www.coreboot.org/mailman/listinfo/coreboot