Re: [PATCH] gma500: Make VGA and HDMI connector hotpluggable