Апдейт: проверил HDMI OUT — всё работает нормально, и даже выдаёт 1080p после оверклока (буфер специфицирован до 628 МГц, я его гоняю на 742,5 МГц). Правда греется чип аццки (я сбросил, когда температурный сенсор на кристалле начал зашкаливать за 90°С). Завтра попробую поставить радиатор. HDMI DDC тоже работает как положено.