First kernel to be able to print messages to UART console on Milkymist SoC