With a recent update to Raspbian, it's necessary to add `arm_64bit=0` to /boot/config.txt and reboot in order to get the pps working