Hier sieht die Meldung anders aus, aber funktionieren wird es wohl auch nicht.
[Do, 17.11.2011, 19:46:40]
[stell @ shangrila:~]% dmesg | grep -i aspm
ACPI FADT declares the system doesn't support PCIe ASPM, so disable it
Ich wüsste auch nicht, wo ich da im Bios drehen könnte.