diff --git a/src/mainboard/intel/jarrell/Kconfig b/src/mainboard/intel/jarrell/Kconfig
index 4baade3143..b53e589aac 100644
--- a/src/mainboard/intel/jarrell/Kconfig
+++ b/src/mainboard/intel/jarrell/Kconfig
@@ -29,3 +29,12 @@ config MAINBOARD_PART_NUMBER
 	default "Jarrell"
 	depends on BOARD_INTEL_JARRELL
 
+config MAX_CPUS
+	int
+	default 4
+	depends on BOARD_INTEL_JARRELL
+
+config IRQ_SLOT_COUNT
+	int
+	default 9
+	depends on BOARD_INTEL_JARRELL
diff --git a/src/mainboard/intel/xe7501devkit/Kconfig b/src/mainboard/intel/xe7501devkit/Kconfig
index d4c6bf7eb4..13f8dd337f 100644
--- a/src/mainboard/intel/xe7501devkit/Kconfig
+++ b/src/mainboard/intel/xe7501devkit/Kconfig
@@ -43,3 +43,13 @@ config IRQ_SLOT_COUNT
 	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