Re: Change HDMI resolution via fbset?