Firmware with patches required for Raspberry Pi support in upstream Linux kernel