https://bugs.freedesktop.org/show_bug.cgi?id=111482 --- Comment #13 from Robert --- Ah and regarding the PCIe3/4 thingy: I can't change that in the BIOS. I didn't found any configuration that allows me to change it in general or for the PCIe slot in question. But I guess that's something I don't really need to try anymore anyways. -- You are receiving this mail because: You are the assignee for the bug.