ghdr utility for printing gadget headers