neat! I had no idea that rpi used a closed bootloader SoC? are there no open source hardware alternatives ?