Turn an LED on connected to GPIO 20.

The script doit convert this to a binary file that can be copied to the SDHC card as kernel.img.

This program is run when the Pi boots.