Kernel with PPS support built in