Raspberry Pi Linux kernel 3.12.23+ with PPS-GPIO patched merged