diff --git a/src/etc/etc.armv7/Makefile.inc b/src/etc/etc.armv7/Makefile.inc
index c9321bdb..71554fbb 100644
--- a/src/etc/etc.armv7/Makefile.inc
+++ b/src/etc/etc.armv7/Makefile.inc
@@ -1,6 +1,6 @@
-#	$OpenBSD: Makefile.inc,v 1.9 2015/06/02 01:48:25 jsg Exp $
+#	$OpenBSD: Makefile.inc,v 1.10 2015/06/29 04:52:34 jsg Exp $
 
-ALLSOC=IMX OMAP SUNXI
+ALLSOC=IMX OMAP SUNXI VEXPRESSA9 VEXPRESSA15
 MDEXT=		bsd.rd
 
 .for SOC in ${ALLSOC}
@@ -11,6 +11,8 @@ MDEXT+=		bsd.rd.${SOC}.umg
 KERNADDR_OMAP=0x80300000
 KERNADDR_IMX=0x10300000
 KERNADDR_SUNXI=0x40300000
+KERNADDR_VEXPRESSA15=0x80300000
+KERNADDR_VEXPRESSA9=0x60300000
 
 bootblocks: