diff --git a/repos/base-sel4/lib/mk/spec/arm/kernel-sel4-imx6q_sabrelite.mk b/repos/base-sel4/lib/mk/spec/arm/kernel-sel4-imx6q_sabrelite.mk
index 370fbab88..3ad37b5d0 100644
--- a/repos/base-sel4/lib/mk/spec/arm/kernel-sel4-imx6q_sabrelite.mk
+++ b/repos/base-sel4/lib/mk/spec/arm/kernel-sel4-imx6q_sabrelite.mk
@@ -1,5 +1,5 @@
 PLAT  := imx6
 CPU   := cortex-a9
-BOARD := imx6q_sabrelite
+override BOARD := imx6q_sabrelite
 
 -include $(REP_DIR)/lib/mk/spec/arm/kernel-sel4.inc
diff --git a/repos/base-sel4/lib/mk/spec/arm/kernel-sel4-imx7d_sabre.mk b/repos/base-sel4/lib/mk/spec/arm/kernel-sel4-imx7d_sabre.mk
index 47a30506c..e708620e4 100644
--- a/repos/base-sel4/lib/mk/spec/arm/kernel-sel4-imx7d_sabre.mk
+++ b/repos/base-sel4/lib/mk/spec/arm/kernel-sel4-imx7d_sabre.mk
@@ -1,5 +1,5 @@
 PLAT  := imx7
 CPU   := cortex-a7
-BOARD := imx7d_sabre
+override BOARD := imx7d_sabre
 
 -include $(REP_DIR)/lib/mk/spec/arm/kernel-sel4.inc