Hello, can anyone tell me if I should expect xorg's ati vanilla 6.13 driver to give HDMI output on an HD 4225? It works in Ubuntu but not Arch, and the guys at Arch asked me to ask you if it should work without Ubuntu's patches. https://bugs.archlinux.org/task/21442 Thanks, Jamie Kitson