Add kernel configuration: 3.1.9adafruit-pps+.config