Sample kernel ported to UART0.
RasPi server converted to UART0.