Change HDMI resolution via fbset?