Comment 65 for bug 33617

T23

Riocard's fix (Option "BusType" "PCI") worked for me.