Raspberry Pi kernel and firmware, built specifically for Adafruit addon boards