export ar231x_gpiodev, needed for gpio-led/spi/i2c modules