xv65: first impl. of write (printf can now be used)