Okay, das sieht jetzt besser aus, nach den Einstellungsänderungen im BIOS, danke:
lspci -vv | awk '/ASPM/{print $0}' RS= | grep --color -P '(^[a-z0-9:.]+|ASPM )'
00:1c.0 PCI bridge: Intel Corporation Device 7ab8 (rev 11) (prog-if 00 [Normal decode])
LnkCap: Port #1, Speed 8GT/s...