files and instructions to compile latest Raspbian kernel to support pps on correct gpio