New comment by fosslinux on void-packages repository

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

Comment:
Hm, yes I believe you are correct. Maybe then, rpi4-kernel-32bit and rpi3-kernel-32bit? Or, your arch idea might work too, but I think it should start with rpi-XYZABC. I really do think the way to go forward is separate packages, though.