please add ntp with PPS support

[beta-tester]

hi, the kernel supports PPS (pulse per second) from GPIO... see #109
but the apt-get package ntp for RPi raspbian is compiled without the necessary option to take PPS into account.
so if i want to use PPS for my ntp server, i always have to download the source and have to compile ntp newly to have that the ability to use PPS.

sudo apt-get install libcap-dev
wget http://archive.ntp.org/ntp4/ntp-4.2/ntp-4.2.8p6.tar.gz
tar xvfz ntp-4.2.8p6.tar.gz
cd ntp-4.2.8p6/
./configure --enable-linuxcaps
make
sudo make install

can you please add a compiled version of ntp to the packages for raspbian that will take PPS into account...
... thank you.

[XECDesign]

This should be filed with debian, since we don't provide any special ntp package. Unless raspbian specifically disables it, in which case this should be filed with the raspbian project.

[popcornmix]

Closing as this is not related to linux kernel.