Raspberry Pi kernel with PPS via GPIO on pin 24 enabled