On a related note, I idly wonder whether anyone is interested in an official ARMv6 hf port. The rpi community is massive. To be clear I'm not volunteering to be involved, merely curious.