This repo is no longer used. See ev3dev/raspberrypi-bootloader instead: - View it on GitHub