Added a 12 bit counter for the Gertboard LEDs.