GPIO: Fix output. 32-bit value is 8 hexdigits long not 4.