Firmware files for the Raspberry Pi based on https://github.com/pietrushnic/linux-rpi-kernel