kernel: mach-bcm2708: account for FIQ latency in timer interrupt setup
See: https://github.com/raspberrypi/linux/commit/a25152fdfbfd3b4330da16fc3aeb6b1ef8843805

firmware: hdmi: Fix for requested mode not getting top score with CEA
See: https://github.com/raspberrypi/firmware/issues/280

firmware: hdmi: Make VGA, 720p and 1080p be reported as supported in no-EDID case
See: http://forum.stmlabs.com/showthread.php?tid=14111&pid=101549#pid101549

firmware: dispmanx: Increase the amount of lbm allowed in online mode. Fix for black screen playing videos in xbmc
See: https://github.com/OpenELEC/OpenELEC.tv/issues/3270