There is an updated pull request by Piraty against master on the void-packages repository https://github.com/Piraty/void-packages rpi-kernel-flavor-subpackage https://github.com/void-linux/void-packages/pull/26000 rpi-kernel: build a subpackage for each flavor, add rpi4 see: https://github.com/void-linux/void-mklive/pull/153 @Duncaen @pbui A patch file from https://github.com/void-linux/void-packages/pull/26000.patch is attached