New comment by agausmann on void-packages repository

https://github.com/void-linux/void-packages/pull/23541#issuecomment-657970270

Comment:
> If you want 32-bit on rpi3 or rpi4 us rpi2-kernel.

I don't believe the 32-bit rpi2-kernel works with the rpi4. If you want to run 32-bit on the rpi4 (which is still the default for Raspberry Pi OS, 64-bit support is still in beta), it appears you need a different kernel build, just like in 64-bit. It also needs to be in a different location (`kernel7.elf` for rpi2/rpi3 vs `kernel7l.elf` for rpi4).