Explicitly add gpio write/read prototypes to the HAL header