New comment by PaperMountainStudio on void-packages repository

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

Comment:
> Great! Image has been built! I'm unsure why it says `rpi3`, but when I flash the `img` one to an microSD card and put it in a RPi4, I'm stuck on rainbow screen.

I am also stuck on the rainbow screen. This either means you should plug the HDMI cable to the port closer to USB-C, or that something is wrong in /boot. For me, it's the second case. Did you manage to solved it? @MGlolenstine