New comment by MGlolenstine on void-packages repository

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

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 solve it? @MGlolenstine

I haven't solved the issue, as I haven't debugged anything since that post, but it's not the HDMI's fault, as it already was in the one closer to USB-C. How did you solve problems with `/boot`?