src/*: Specify type of `DIMM_MAX` once

Specify the type of the `DIMM_MAX` Kconfig symbol once.

Change-Id: I2e86baaa8bd50c7b82c399fde5dcea05da6b4307
Signed-off-by: Angel Pons <th3fanbus@gmail.com>
Reviewed-on: https://review.coreboot.org/c/coreboot/+/57258
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
Reviewed-by: Tim Crawford <tcrawford@system76.com>
Reviewed-by:  Felix Singer <felixsinger@posteo.net>

21 files changed, 0 insertions, 21 deletions

diff --git a/src/mainboard/51nb/x210/Kconfig b/src/mainboard/51nb/x210/Kconfig
index 3a0be4e04f..038b2a57f4 100644
--- a/src/mainboard/51nb/x210/Kconfig
+++ b/src/mainboard/51nb/x210/Kconfig
@@ -31,7 +31,6 @@ config VGA_BIOS_ID
 	default "8086,5917"
 
 config DIMM_MAX
-	int
 	default 2
 
 config DIMM_SPD_SIZE
diff --git a/src/mainboard/clevo/cml-u/Kconfig b/src/mainboard/clevo/cml-u/Kconfig
index 0452bc15fa..274db95836 100644
--- a/src/mainboard/clevo/cml-u/Kconfig
+++ b/src/mainboard/clevo/cml-u/Kconfig
@@ -54,7 +54,6 @@ config MAX_CPUS
 	default 8 if BOARD_CLEVO_L140CU_BASE
 
 config DIMM_MAX
-	int
 	default 2 if BOARD_CLEVO_L140CU_BASE
 
 config VGA_BIOS_ID
diff --git a/src/mainboard/clevo/kbl-u/Kconfig b/src/mainboard/clevo/kbl-u/Kconfig
index f3844beee9..b5e45aafba 100644
--- a/src/mainboard/clevo/kbl-u/Kconfig
+++ b/src/mainboard/clevo/kbl-u/Kconfig
@@ -53,7 +53,6 @@ config FMDFILE
 #	default "src/mainboard/\$(CONFIG_MAINBOARD_DIR)/fmds/vboot-roab.fmd"	if VBOOT_SLOTS_RW_AB
 
 config DIMM_MAX
-	int
 	default 2
 
 config DIMM_SPD_SIZE
diff --git a/src/mainboard/facebook/monolith/Kconfig b/src/mainboard/facebook/monolith/Kconfig
index a51e28d148..212ca828c8 100644
--- a/src/mainboard/facebook/monolith/Kconfig
+++ b/src/mainboard/facebook/monolith/Kconfig
@@ -61,7 +61,6 @@ config UART_FOR_CONSOLE
 	default 0
 
 config DIMM_MAX
-	int
 	default 2
 
 config MAINBOARD_SUPPORTS_SKYLAKE_CPU
diff --git a/src/mainboard/google/drallion/Kconfig b/src/mainboard/google/drallion/Kconfig
index 55f203e3fc..060a75ada9 100644
--- a/src/mainboard/google/drallion/Kconfig
+++ b/src/mainboard/google/drallion/Kconfig
@@ -41,7 +41,6 @@ config CHROMEOS_WIFI_SAR
 	select USE_SAR
 
 config DIMM_MAX
-	int
 	default 2
 
 config DRIVER_TPM_I2C_BUS
diff --git a/src/mainboard/google/fizz/Kconfig b/src/mainboard/google/fizz/Kconfig
index 4b9f5615a3..cac3e4f225 100644
--- a/src/mainboard/google/fizz/Kconfig
+++ b/src/mainboard/google/fizz/Kconfig
@@ -57,7 +57,6 @@ config MAINBOARD_FAMILY
 	default "Google_Endeavour" if BOARD_GOOGLE_ENDEAVOUR
 
 config DIMM_MAX
-	int
 	default 2
 
 config DIMM_SPD_SIZE
diff --git a/src/mainboard/google/hatch/Kconfig b/src/mainboard/google/hatch/Kconfig
index fb48433c4b..6fe44e0282 100644
--- a/src/mainboard/google/hatch/Kconfig
+++ b/src/mainboard/google/hatch/Kconfig
@@ -66,7 +66,6 @@ config DEVICETREE
 	default "variants/baseboard/devicetree.cb"
 
 config DIMM_MAX
-	int
 	default 2
 
 config ROMSTAGE_SPD_CBFS
diff --git a/src/mainboard/google/sarien/Kconfig b/src/mainboard/google/sarien/Kconfig
index 383436ae71..6d3468540f 100644
--- a/src/mainboard/google/sarien/Kconfig
+++ b/src/mainboard/google/sarien/Kconfig
@@ -37,7 +37,6 @@ config CHROMEOS
 	select GBB_FLAG_DISABLE_EC_SOFTWARE_SYNC
 
 config DIMM_MAX
-	int
 	default 2
 
 config DRIVER_TPM_I2C_BUS
diff --git a/src/mainboard/hp/280_g2/Kconfig b/src/mainboard/hp/280_g2/Kconfig
index 95e721bb96..df3f626e9f 100644
--- a/src/mainboard/hp/280_g2/Kconfig
+++ b/src/mainboard/hp/280_g2/Kconfig
@@ -23,7 +23,6 @@ config MAINBOARD_PART_NUMBER
 	default "280 G2"
 
 config DIMM_MAX
-	int
 	default 2
 
 config DIMM_SPD_SIZE
diff --git a/src/mainboard/kontron/bsl6/Kconfig b/src/mainboard/kontron/bsl6/Kconfig
index 98acfc365f..e4e29e0bf1 100644
--- a/src/mainboard/kontron/bsl6/Kconfig
+++ b/src/mainboard/kontron/bsl6/Kconfig
@@ -50,7 +50,6 @@ config CBFS_SIZE
 	default 0x600000 if BOARD_SIEMENS_BOXER26
 
 config DIMM_MAX
-	int
 	default 2
 
 config DIMM_SPD_SIZE
diff --git a/src/mainboard/libretrend/lt1000/Kconfig b/src/mainboard/libretrend/lt1000/Kconfig
index 46dfddf934..fd6e5203ff 100644
--- a/src/mainboard/libretrend/lt1000/Kconfig
+++ b/src/mainboard/libretrend/lt1000/Kconfig
@@ -31,7 +31,6 @@ config VGA_BIOS_ID
 	default "8086,1916"
 
 config DIMM_MAX
-	int
 	default 2
 
 config DIMM_SPD_SIZE
diff --git a/src/mainboard/ocp/deltalake/Kconfig b/src/mainboard/ocp/deltalake/Kconfig
index 06d8393f90..737bc1d1ed 100644
--- a/src/mainboard/ocp/deltalake/Kconfig
+++ b/src/mainboard/ocp/deltalake/Kconfig
@@ -48,7 +48,6 @@ config FMDFILE
 
 # Deltalake is single socket server, the platform design has 1 DIMM per channel
 config DIMM_MAX
-	int
 	default 6
 
 config CONSOLE_POST
diff --git a/src/mainboard/protectli/vault_bsw/Kconfig b/src/mainboard/protectli/vault_bsw/Kconfig
index 016165f79c..1f9fa20159 100644
--- a/src/mainboard/protectli/vault_bsw/Kconfig
+++ b/src/mainboard/protectli/vault_bsw/Kconfig
@@ -32,7 +32,6 @@ config MAINBOARD_VENDOR
 	default "Protectli"
 
 config DIMM_MAX
-	int
 	default 1
 
 config DIMM_SPD_SIZE
diff --git a/src/mainboard/protectli/vault_kbl/Kconfig b/src/mainboard/protectli/vault_kbl/Kconfig
index 6a0939188c..5f76b8d0ba 100644
--- a/src/mainboard/protectli/vault_kbl/Kconfig
+++ b/src/mainboard/protectli/vault_kbl/Kconfig
@@ -26,7 +26,6 @@ config MAINBOARD_PART_NUMBER
 	default "FW6"
 
 config DIMM_MAX
-	int
 	default 2
 
 config DIMM_SPD_SIZE
diff --git a/src/mainboard/purism/librem_cnl/Kconfig b/src/mainboard/purism/librem_cnl/Kconfig
index d46972d882..919462299f 100644
--- a/src/mainboard/purism/librem_cnl/Kconfig
+++ b/src/mainboard/purism/librem_cnl/Kconfig
@@ -41,7 +41,6 @@ config CBFS_SIZE
 	default 0x900000 if BOARD_PURISM_LIBREM_14
 
 config DIMM_MAX
-	int
 	default 2
 
 config DIMM_SPD_SIZE
diff --git a/src/mainboard/purism/librem_skl/Kconfig b/src/mainboard/purism/librem_skl/Kconfig
index 814b08e630..9d2688f92e 100644
--- a/src/mainboard/purism/librem_skl/Kconfig
+++ b/src/mainboard/purism/librem_skl/Kconfig
@@ -54,7 +54,6 @@ config INTEL_GMA_VBT_FILE
 	default "src/mainboard/\$(MAINBOARDDIR)/data.vbt"
 
 config DIMM_MAX
-	int
 	default 1
 
 config DIMM_SPD_SIZE
diff --git a/src/mainboard/system76/gaze15/Kconfig b/src/mainboard/system76/gaze15/Kconfig
index 2d19fad634..e6265e40c2 100644
--- a/src/mainboard/system76/gaze15/Kconfig
+++ b/src/mainboard/system76/gaze15/Kconfig
@@ -56,7 +56,6 @@ config MAX_CPUS
 	default 16
 
 config DIMM_MAX
-	int
 	default 2
 
 config VGA_BIOS_ID
diff --git a/src/mainboard/system76/lemp9/Kconfig b/src/mainboard/system76/lemp9/Kconfig
index 2a547fd813..81e9d3da4b 100644
--- a/src/mainboard/system76/lemp9/Kconfig
+++ b/src/mainboard/system76/lemp9/Kconfig
@@ -53,7 +53,6 @@ config MAX_CPUS
 	default 8
 
 config DIMM_MAX
-	int
 	default 2
 
 config VGA_BIOS_FILE
diff --git a/src/mainboard/system76/oryp5/Kconfig b/src/mainboard/system76/oryp5/Kconfig
index fa4ec7f32a..317e29b988 100644
--- a/src/mainboard/system76/oryp5/Kconfig
+++ b/src/mainboard/system76/oryp5/Kconfig
@@ -57,7 +57,6 @@ config MAX_CPUS
 	default 12
 
 config DIMM_MAX
-	int
 	default 2
 
 config POST_DEVICE
diff --git a/src/mainboard/system76/oryp6/Kconfig b/src/mainboard/system76/oryp6/Kconfig
index 4f17e55d0e..eeed385d58 100644
--- a/src/mainboard/system76/oryp6/Kconfig
+++ b/src/mainboard/system76/oryp6/Kconfig
@@ -54,7 +54,6 @@ config MAX_CPUS
 	default 16
 
 config DIMM_MAX
-	int
 	default 2
 
 config VGA_BIOS_ID
diff --git a/src/mainboard/system76/whl-u/Kconfig b/src/mainboard/system76/whl-u/Kconfig
index 95f861a378..028316806a 100644
--- a/src/mainboard/system76/whl-u/Kconfig
+++ b/src/mainboard/system76/whl-u/Kconfig
@@ -67,7 +67,6 @@ config MAX_CPUS
 	default 8
 
 config DIMM_MAX
-	int
 	default 2
 
 config POST_DEVICE