Restore the gpio.h file, platform.c uses the generic GPIO API