Added support to reserve/enable a GPIO pin to be used from pps-gpio module (LinuxPPS).
Enable PPS modules in default config for RPi.
Merge pull request #717 from tjko/rpi-3.12.y

Added support to reserve/enable a GPIO pin to be used from pps-gpio module