The pin to use with PPS is now configurable.
Added a dmesg log on boot.