Seems to work well enough to take over the OpenSBI putchar TODO: Add some kind of flush() to avoid trashing data still in the FIFO when we take over from OpenSBI