diff --git a/srcpkgs/base-system/template b/srcpkgs/base-system/template
index 431b2724544..7d5d6052e3a 100644
--- a/srcpkgs/base-system/template
+++ b/srcpkgs/base-system/template
@@ -21,6 +21,8 @@ case "$XBPS_TARGET_MACHINE" in
 	x86_64) makedepends+=" grub-x86_64-efi";;
 	# XXX only for Raspberry Pi
 	armv6l) makedepends+=" rpi-base-files rpi-firmware";;
+	# XXX generic armv7 without linux kernel/platform files.
+	armv7l) ;;
 	*) msg_error "${pkgname}-${version}: unsupported target machine.\n";;
 esac