Patch for printf compatibility.

Not all printf implementations support pad specifiers, like %02x. Since this particular format is required for the Host UI to perform verification, an explicit implementation is provided in the two memory-print functions (which are not timing-critical).