Some aprint_*() trickery around GPIO