The man page for gpiobus references several devices that can be added to the kernel for the ARM architecture. One of them is device zy7_gpio. When I try to compile an ARM kernel with this device I get the following error:
config: Error: device "zy7_gpio" is unknown
I believe this is on a 13.0 release src tree.