There is an updated pull request by CameronNemo against master on the void-packages repository https://github.com/CameronNemo/void-packages atf-rk3399-bl31 https://github.com/void-linux/void-packages/pull/21199 Pinebook Pro U-Boot: use newer ARM Trusted Firmware @renatoaguiar care to give this a spin? A patch file from https://github.com/void-linux/void-packages/pull/21199.patch is attached