Raspberry Pi kernel and firmware with support for FBTFT