Please pull: NEED_MACH_GPIO_H vs. gpio_to_irq() woes

See https://github.com/raspberrypi/linux/pull/495#issuecomment-32377107 for the discussion.