Stellaris: Do not rely on stdio for debug console

Do not assume that we will be able to override _write and send stdio to the
UART. Instead, use vsnprintf, and directly send debug data to the UART.

Signed-off-by: Alexandru Gagniuc <mr.nuke.me@gmail.com>