This series fixes the highest priority problems reported from thedriver getting enabled in Raspbian: modesetting on HDMI was broken ifyou weren't at the same resolution that the firmware had set up, or ifthe firmware hadn't set up HDMI at all.