We already include AP_HAL.h that includes the platform-agnostic gpio header, which is all that this driver needs. This is an alternative fix to #7794.