E407/: enable UART6 and print "hello" each time we toggle the LED

known bug: the bit rate the hardware uses is half the rate requested
E407/Makefile: generate list of files from driver names; use single dependency