Added hex printing utility from dwelch67 so we can print out PC and ARM machine type