There's a closed pull request on the void-packages repository rpi3-base, rpi3-firmware: remove https://github.com/void-linux/void-packages/pull/19066 Description: rpi3-* packages are outdated and not used anywhere.