Custom RPi 3.8.8+ kernel with ST7735 framebuffer driver support