E407 (contiki.h): a place for declaring items from the Contiki subsystem
E407: add serial input going to Contiki shell
E407/serial.c: enable GPIO C clock (don't rely on it to be done elsewhere)

We also enable it for the LED, but if we ever stopped using the LED, then the
GPIOs used by USART6 would be without clock.