Added support to reserve/enable a GPIO pin to be used from pps-gpio module (LinuxPPS).
Enable PPS modules in default config for RPi.