Raspberry Pi Linux source with PPS driver on GPIO pin