* Switching between HDMI and VGA monitor

* http://linux-sunxi.org/Display