mach-ux500: board support for AB8500 GPIO driver