Using alternative to UARTStdio because it apparently doesn't support floating point in printf...
Derived from https://github.com/eehusky/Stellaris-GCC project