Framebuffer code for Raspberry Pi, originally git://git.kraxel.org/fbida