UART0 works with simple kernel