PPS with GPIO patch.
Spacing changed to meet kernel coding style guidelines.

Built a configurable kernel option.
Default is "disabled".

The pin to use with PPS has been made configurable.
Added a dmesg log on boot.