ARM: remove horrible printf left over from debugging