I booted with pci=nomsi (the Interrupts naturally changed a bit with this option, so I attached a new interrupts.txt to show that the command was in effect). Unfortunately it did not solve the problem. The system did still lock up.
I booted with pci=nomsi (the Interrupts naturally changed a bit with this option, so I attached a new interrupts.txt to show that the command was in effect).
Unfortunately it did not solve the problem. The system did still lock up.