diff --git a/srcpkgs/base-system/template b/srcpkgs/base-system/template
index 7d5d6052e3a..5680ad215ab 100644
--- a/srcpkgs/base-system/template
+++ b/srcpkgs/base-system/template
@@ -1,6 +1,6 @@
 # Template file for 'base-system'
 pkgname=base-system
-version=0.79
+version=0.80
 revision=1
 build_style=meta
 homepage="http://www.voidlinux.eu/"
@@ -14,16 +14,11 @@ makedepends="
  shadow e2fsprogs btrfs-progs xfsprogs f2fs-tools dosfstools kbd psmisc procps-ng
  tzdata pciutils iana-etc systemd dcron?cron-daemon openssh dhcpcd
  iproute2 iputils bridge-utils ifenslave iw wpa_supplicant xbps netbsd-wtf
- nvi sudo wifi-firmware linux void-artwork nss-mdns traceroute ethtool parted"
+ nvi sudo wifi-firmware void-artwork nss-mdns traceroute ethtool parted"
 
 case "$XBPS_TARGET_MACHINE" in
-	i686) makedepends+=" grub";;
-	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";;
+	i686) makedepends+=" linux grub";;
+	x86_64) makedepends+=" linux grub-x86_64-efi";;
 esac
 
 # gcc and glibc shouldn't be direct dependencies.