Base PPS patch.
Spacing changed to meet kernel coding style guidelines.

PPS is now a configurable kernel option.
Default is "disabled".

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