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>
diff --git a/src/cpu/intel/haswell/Kconfig b/src/cpu/intel/haswell/Kconfig
index af94314..54cb99f 100644
--- a/src/cpu/intel/haswell/Kconfig
+++ b/src/cpu/intel/haswell/Kconfig
@@ -34,4 +34,8 @@
config SMM_RESERVED_SIZE
hex
default 0x100000
+
+config MAX_CPUS
+ int
+ default 8
endif
diff --git a/src/mainboard/asrock/b85m_pro4/Kconfig b/src/mainboard/asrock/b85m_pro4/Kconfig
index ecb2ba9..67206a9 100644
--- a/src/mainboard/asrock/b85m_pro4/Kconfig
+++ b/src/mainboard/asrock/b85m_pro4/Kconfig
@@ -26,8 +26,4 @@
string
default "B85M Pro4"
-config MAX_CPUS
- int
- default 8
-
endif
diff --git a/src/mainboard/asrock/h81m-hds/Kconfig b/src/mainboard/asrock/h81m-hds/Kconfig
index 9137135..6203610 100644
--- a/src/mainboard/asrock/h81m-hds/Kconfig
+++ b/src/mainboard/asrock/h81m-hds/Kconfig
@@ -33,10 +33,6 @@
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.
diff --git a/src/mainboard/google/beltino/Kconfig b/src/mainboard/google/beltino/Kconfig
index f50d49c..1e4fef6 100644
--- a/src/mainboard/google/beltino/Kconfig
+++ b/src/mainboard/google/beltino/Kconfig
@@ -44,10 +44,6 @@
string
default "Google_Beltino"
-config MAX_CPUS
- int
- default 8
-
config VGA_BIOS_FILE
string
default "pci8086,0406.rom"
diff --git a/src/mainboard/google/slippy/Kconfig b/src/mainboard/google/slippy/Kconfig
index 21659ab..1f9c61d 100644
--- a/src/mainboard/google/slippy/Kconfig
+++ b/src/mainboard/google/slippy/Kconfig
@@ -52,10 +52,6 @@
string
default "variants/$(CONFIG_VARIANT_DIR)/overridetree.cb"
-config MAX_CPUS
- int
- default 8
-
config VGA_BIOS_FILE
string
default "pci8086,0406.rom"
diff --git a/src/mainboard/lenovo/t440p/Kconfig b/src/mainboard/lenovo/t440p/Kconfig
index adb1722..3ca4fab 100644
--- a/src/mainboard/lenovo/t440p/Kconfig
+++ b/src/mainboard/lenovo/t440p/Kconfig
@@ -59,10 +59,6 @@
string
default "8086,0416"
-config MAX_CPUS
- int
- default 8
-
config USBDEBUG_HCD_INDEX
int
default 2
diff --git a/src/mainboard/supermicro/x10slm-f/Kconfig b/src/mainboard/supermicro/x10slm-f/Kconfig
index a1b78f2..e0cefce 100644
--- a/src/mainboard/supermicro/x10slm-f/Kconfig
+++ b/src/mainboard/supermicro/x10slm-f/Kconfig
@@ -29,8 +29,4 @@
string
default "X10SLM+-F"
-config MAX_CPUS
- int
- default 8
-
endif