Какой милый баг.

Вкратце: обычно адреса PCI-устройств записывают в шестнадцатеричном виде (например, на 00:1f.3 у меня живёт звуковая карта), но Xorg выпендрелся и принимает в десятичном. И никто этого не замечал, потому что обычно видеокарта живёт на «маленьких» числах, вроде 03:02.0.

Отдельные лучи любви тем, кто придумал падать с ошибкой на эту тему до того, как открыть лог-файл. Так что мне как обычно пришлось расчехлять strace, и уже по ошибке оттуда найти вышеупомянутый вопрос (с ответом, за что спасибо).