There's a closed pull request on the void-packages repository rpi-{kernel,firmware}: bring up to date https://github.com/void-linux/void-packages/pull/44411 Description: I don't have any systems that can test the 32-bit builds. Also, for `rpi-firmware`, I don't know if there's a dated version encoded somewhere in the source; I just updated the version to the date of the commit I pulled. #### Testing the changes - I tested the changes in this PR: **briefly** (The updates boot on my RPi 4b.) cc: @Piraty Ed.: This should fix the USB boot issue, but I haven't tested it.