Derived from https://github.com/raspberrypi/firmware/tree/master/opt/vc/src/hello_pi