linuxium/3188-SRC-AP6210 — pull request #3 by Galland (2013-09-15 23:44:35+00:00)
Title: Make default HDMI resolution consistent with CONFIG option

Problem:
Even if selecting CONFIG_BOX_FB_1080P, the resolution stays 720p
(reported by A.Sinha).

Solution:
This minor change allows overriding the default HDMI mode setting (720p)
only when the user selects 1080p in the .config, as expected.