/configs/platform-rpi/firmware/