Copied this file to the platform directories and changed it to use putstring(), puthex() etc so that we can print addresses without linking in printf See Pull Request #20
George Oikonomou