haswell boards: Factor out MAX_CPUS

ULT only has 4 threads, but we are not changing it here to preserve
binary reproducibility.

Change-Id: I041c5dff2de514244f9c919c4c475cca979c34ce
Signed-off-by: Angel Pons <th3fanbus@gmail.com>
Reviewed-on: https://review.coreboot.org/c/coreboot/+/41842
Reviewed-by: Felix Held <felix-coreboot@felixheld.de>
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>

src/cpu/intel/haswell/Kconfig

@@ -34,4 +34,8 @@ config IED_REGION_SIZE
 config SMM_RESERVED_SIZE
 	hex
 	default 0x100000
+
+config MAX_CPUS
+	int
+	default 8
 endif

src/mainboard/asrock/b85m_pro4/Kconfig

@@ -26,8 +26,4 @@ config MAINBOARD_PART_NUMBER
 	string
 	default "B85M Pro4"
 
-config MAX_CPUS
-	int
-	default 8
-
 endif

src/mainboard/asrock/h81m-hds/Kconfig

@@ -33,10 +33,6 @@ config MAINBOARD_PART_NUMBER
 	string
 	default "H81M-HDS"
 
-config MAX_CPUS
-	int
-	default 8
-
 #
 # Since this is a desktop board, the assumption is made that most users
 # would want CMOS configuration enabled by default.

src/mainboard/google/beltino/Kconfig

@@ -44,10 +44,6 @@ config MAINBOARD_FAMILY
 	string
 	default "Google_Beltino"
 
-config MAX_CPUS
-	int
-	default 8
-
 config VGA_BIOS_FILE
 	string
 	default "pci8086,0406.rom"

src/mainboard/google/slippy/Kconfig

@@ -52,10 +52,6 @@ config OVERRIDE_DEVICETREE
 	string
 	default "variants/$(CONFIG_VARIANT_DIR)/overridetree.cb"
 
-config MAX_CPUS
-	int
-	default 8
-
 config VGA_BIOS_FILE
 	string
 	default "pci8086,0406.rom"

src/mainboard/lenovo/t440p/Kconfig

@@ -59,10 +59,6 @@ config VGA_BIOS_ID
 	string
 	default "8086,0416"
 
-config MAX_CPUS
-	int
-	default 8
-
 config USBDEBUG_HCD_INDEX
 	int
 	default 2

src/mainboard/supermicro/x10slm-f/Kconfig

@@ -29,8 +29,4 @@ config MAINBOARD_PART_NUMBER
 	string
 	default "X10SLM+-F"
 
-config MAX_CPUS
-	int
-	default 8
-
 endif