Reverting mach/gpio.h:gpio_to_irq() removal

See the discussion in https://github.com/raspberrypi/linux/pull/495 for details.
The original issue, present in rpi-3.10.y, has been fixed in 11 and 12 by defining NEED_MACH_GPIO_H for the platform.