firmware of the raspberry pi, for usage in gokrazy - View it on GitHub