[kevans91]

I speak as a FreeBSD developer who has dabbled with RPi, having tested and shuffled in a lot of the initial RPi4 patches and did some not-insignificant hacking to get a single RPi image to actually support RPi3 + RPi4.