Green LED irritation fix

The green LED is by default on. It is part of the JTAG interface,
although then it should be high-Z. Whatever the exact reason, it bothers
me. This disables it at startup (by switching the pin to GPIO).