Comment 1 for bug 880441

The xorg.conf below needs to be used for HDMI output

# This overides the default output to /dev/fb0 which is the LCD
# framebuffer and redirects it to fb10 for HDMI output.

Section "Device"
          Identifier "FBDEV"
          Driver "fbdev"
          Option "fbdev" "/dev/fb10"
EndSection

Section "Screen"
          Identifier "HDMI Screen"
          Device "FBDEV"
          DefaultDepth 24
          SubSection "Display"
                  Virtual 1920 1080
          EndSubSection
EndSection