ppc32 use of %x in einfo format