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.