linux-rpi-pps-gpio-bcm2708.diff: register bcm2708 pps-gio device on GPIO 18
change pps_gpio_info.gpio_pin to use different GPIO pins