I guess this begs the question, are there any RPi alternatives/equivalents that use an open source firmware by default?
If anything RPi seems like an outlier. Out of 9 different SBCs models I have at home only Rpi2b and Quartz64-A have proprietary firmware.