* Reference bcm2708 framebuffer when it makes sense * Add bcm2708 define to Raspberry Pi board_config.h