Kernel with patches for Adafruit