If this matured, maybe there would be some interest in porting OpenBSD to RPi with this? Theo didn't like the firmware blob, right?..