Dropped Ubuntu Linux ARM support.
Got printf() working using newlib (it writes to the UART).