One more: I had to put pci=nomsi acpi_osi=linux nox2apic as kernel options, otherwise the system wouldn't even start. Don't know whether there is any connection...
One more: I had to put
pci=nomsi acpi_osi=linux nox2apic
as kernel options, otherwise the system wouldn't even start. Don't know whether there is any connection...