diff --git a/srcpkgs/pinebookpro-uboot/template b/srcpkgs/pinebookpro-uboot/template
index e7462fa47bb..cecab353f88 100644
--- a/srcpkgs/pinebookpro-uboot/template
+++ b/srcpkgs/pinebookpro-uboot/template
@@ -1,21 +1,17 @@
 # Template file for 'pinebookpro-uboot'
 pkgname=pinebookpro-uboot
 version=20200212
-revision=1
+revision=2
 _commit_uboot=365495a329c8e92ca4c134562d091df71b75845e
 _commit_atf=22d12c4148c373932a7a81e5d1c59a767e143ac2
 archs="aarch64*"
-hostmakedepends="git flex cross-arm-none-eabi dtc python3"
+hostmakedepends="git flex cross-arm-none-eabi dtc python3 bc"
 depends="u-boot-tools"
 short_desc="U-Boot for Pinebook Pro"
 maintainer="Renato Aguiar <renato@renatoaguiar.net>"
 license="GPL-2.0-only, BSD-3-Clause"
 homepage="https://git.eno.space/pbp-uboot"
 
-case "${XBPS_TARGET_MACHINE}" in
-	*-musl) broken="fatal error: stddef.h: No such file or directory" ;;
-esac
-
 do_fetch() {
 	mkdir -p "${wrksrc}"
 
@@ -23,6 +19,9 @@ do_fetch() {
 	git clone https://git.eno.space/pbp-uboot.git
 	cd pbp-uboot
 	git reset --hard ${_commit_uboot}
+	if [ "$XBPS_TARGET_LIBC" = "musl" ]; then
+		touch include/stddef.h
+	fi
 
 	cd "${wrksrc}"
 	git clone https://github.com/ARM-software/arm-trusted-firmware.git