Configurations used to compile Raspberry Pi kernels w/PPS-GPIO