Out-of-tree kernel module for binding a GPIO pin to a PPS source