cris/arch-v32: cryptocop: print a hex number after a 0x prefix