Tak jsem pouze na druhé GK (primarni GK zachycena vfio_pci) s Xorg neuspěl. Při obou GK (tj. bez vfio_pci) Xorg funguje na obou. Dle logu se Xorg udajne nedostal k DRI (důvod v invalidní singatuře BIOSu?). Někde jsem narazil na mini patch pro kernel 4.15 (koncipovaném v duchu .. invalid nemusi znamenat nonfunctional).