Couldn't someone just rebuild the source code for Raspberry Pi?