The mkimage tool for RPi. This repo is just for convenience, as the official repo also contains 3 huge toolchains.