https://bugs.freedesktop.org/show_bug.cgi?id=33011
--- Comment #15 from Alex Deucher agd5f@yahoo.com 2011-01-27 23:04:21 PST --- So there is a DVI port on the dock and an hdmi port on the laptop. It's likely they share the same encoder and there may some gpio magic involved in switching between them. I don't see any router info in the vbios, so it's likely to be a system specific thing. Maybe some acpi method? When the hdmi port isn't working, does the DVI port work or vice versa?