Minimal mirror of Raspberry Pi firmware