Copy files from mainline kernel to use PPS over GPIO
Change EXTRAVERSION to indicate different kernel
Use GPIO pin 23 for PPS input

The modifications done in these and previous commits are
sourced from: http://www.raspberrypi.org/phpBB3/viewtopic.php?f=9&t=1970