Simplify uart_printf() a bit by using vuprintf(), that also makes removing a static...