[LinuxPPS] LinuxPPS 4.0.0 not working on x86_64

[linux at horizon.com]

Is there an x86_64 version of the 4.0.0 linuxpps patch?

I'd like to test it, but my test machine with PPS inputs is
running a 64-bit kernel.

Using a recent linuxpps patch

0b95100f146f1976c38de80fd4533d5c1c37ae75
LinuxPPS: all kernel messages managed by Linux standard functions.
(yes, I know there's one more commit, but it's not important)

Gets the PPS source working fine:
/sys/class/pps/00/assert:	1185840861.999880040#54306
/sys/class/pps/00/clear:	1185840861.999874836#54245
/sys/class/pps/00/echo:	0
/sys/class/pps/00/mode:	1133
/sys/class/pps/00/name:	serial0
/sys/class/pps/00/path:	/dev/ttyS0

But ntpd is unable to see PPS events, even after linking all the includes
/usr/include/sys/timepps.h -> /usr/src/linux/Documentation/pps/timepps.h
/usr/include/linux -> /usr/src/linux/include/linux
/usr/include/asm* -> /usr/src/linux/include/asm*
and recompiling:

     remote           refid      st t when poll reach   delay   offset  jitter
==============================================================================
+192.35.100.1    .PPS.            1 u    4   16  377    0.156   -0.011   0.177
*127.127.29.0    .PALI.           0 l   13   16  377    0.000   -0.014   0.221
 127.127.22.0    .PPS.            0 l    -    4    0    0.000    0.000   0.001


Thanks!