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.