8 files changed, 8 insertions, 8 deletions

diff --git a/conf/machine/p1020rdb.conf b/conf/machine/p1020rdb.conf
index 50edba7d..42bbdc39 100644
--- a/conf/machine/p1020rdb.conf
+++ b/conf/machine/p1020rdb.conf
@@ -7,7 +7,7 @@
 
 require conf/machine/include/e500v2.inc
 
-MACHINEOVERRIDES =. "p1020"
+MACHINEOVERRIDES =. "p1020:"
 BOOTFORMAT_CONFIG = "config_sram_p1022ds.dat"
 
 UBOOT_CONFIG ??= "nand sdcard spi nor"
diff --git a/conf/machine/p2041rdb.conf b/conf/machine/p2041rdb.conf
index 102cc8db..19f7df43 100644
--- a/conf/machine/p2041rdb.conf
+++ b/conf/machine/p2041rdb.conf
@@ -7,7 +7,7 @@
 
 require conf/machine/include/e500mc.inc
 
-MACHINEOVERRIDES =. "p2041"
+MACHINEOVERRIDES =. "p2041:"
 
 UBOOT_CONFIG ??= "nand secure-boot sdcard spi nor"
 UBOOT_CONFIG[nor] = "P2041RDB_config"
diff --git a/conf/machine/p3041ds.conf b/conf/machine/p3041ds.conf
index c7ce4692..5102fc96 100644
--- a/conf/machine/p3041ds.conf
+++ b/conf/machine/p3041ds.conf
@@ -7,7 +7,7 @@
 
 require conf/machine/include/e500mc.inc
 
-MACHINEOVERRIDES =. "p3041"
+MACHINEOVERRIDES =. "p3041:"
 
 UBOOT_CONFIG ??= "nand secure-boot sdcard spi nor"
 UBOOT_CONFIG[nor] = "P3041DS_config"
diff --git a/conf/machine/p4080ds.conf b/conf/machine/p4080ds.conf
index 23a7816b..6ea35b37 100644
--- a/conf/machine/p4080ds.conf
+++ b/conf/machine/p4080ds.conf
@@ -7,7 +7,7 @@
 
 require conf/machine/include/e500mc.inc
 
-MACHINEOVERRIDES =. "p4080"
+MACHINEOVERRIDES =. "p4080:"
 
 UBOOT_CONFIG ??= "secure-boot sdcard spi nor"
 UBOOT_CONFIG[nor] = "P4080DS_config"
diff --git a/conf/machine/p5040ds.conf b/conf/machine/p5040ds.conf
index af581f49..d958e4f6 100644
--- a/conf/machine/p5040ds.conf
+++ b/conf/machine/p5040ds.conf
@@ -7,7 +7,7 @@
 
 require conf/machine/include/e5500.inc
 
-MACHINEOVERRIDES =. "p5040"
+MACHINEOVERRIDES =. "p5040:"
 
 UBOOT_CONFIG ??= "nand secure-boot sdcard spi nor"
 UBOOT_CONFIG[nor] = "P5040DS_config"
diff --git a/conf/machine/t1024rdb.conf b/conf/machine/t1024rdb.conf
index 616ce3f1..81d56962 100644
--- a/conf/machine/t1024rdb.conf
+++ b/conf/machine/t1024rdb.conf
@@ -7,7 +7,7 @@
 
 require conf/machine/include/e5500.inc
 
-MACHINEOVERRIDES =. "t1:t1024"
+MACHINEOVERRIDES =. "t1:t1024:"
 
 UBOOT_CONFIG ??= "nand sdcard spi secure-boot nor"
 UBOOT_CONFIG[nor] = "T1024RDB_config"
diff --git a/conf/machine/t2080rdb.conf b/conf/machine/t2080rdb.conf
index bfcb7689..128f643b 100644
--- a/conf/machine/t2080rdb.conf
+++ b/conf/machine/t2080rdb.conf
@@ -7,7 +7,7 @@
 
 require conf/machine/include/e6500.inc
 
-MACHINEOVERRIDES =. "t2:t2080"
+MACHINEOVERRIDES =. "t2:t2080:"
 
 UBOOT_CONFIG ??= "sdcard spi nand srio-pcie-boot secure-boot nor"
 UBOOT_CONFIG[nor] = "T2080RDB_config"
diff --git a/conf/machine/t4240rdb.conf b/conf/machine/t4240rdb.conf
index 9f86345e..0f642114 100644
--- a/conf/machine/t4240rdb.conf
+++ b/conf/machine/t4240rdb.conf
@@ -7,7 +7,7 @@
 
 require conf/machine/include/e6500.inc
 
-MACHINEOVERRIDES =. "t4:t4240"
+MACHINEOVERRIDES =. "t4:t4240:"
 
 UBOOT_CONFIG ??= "nor"
 UBOOT_CONFIG[nor] = "T4240RDB_config"