RaspberryPi kernel with PPS interface device