The other interesting messages I saw in Lisa's BootDmesg.txt was the following:
[ 1.260049] pci 0000:00:12.0: OHCI: BIOS handoff failed (BIOS bug?) ffffffff [ 2.064049] pci 0000:00:12.1: OHCI: BIOS handoff failed (BIOS bug?) ffffffff [ 2.064068] pci 0000:00:12.2: EHCI: unrecognized capability 80 [ 2.064071] pci 0000:00:12.2: EHCI: unrecognized capability 80
Lisa tested disabling "USB emulation" in the BIOS but this had not effect.
The other interesting messages I saw in Lisa's BootDmesg.txt was the following:
[ 1.260049] pci 0000:00:12.0: OHCI: BIOS handoff failed (BIOS bug?) ffffffff
[ 2.064049] pci 0000:00:12.1: OHCI: BIOS handoff failed (BIOS bug?) ffffffff
[ 2.064068] pci 0000:00:12.2: EHCI: unrecognized capability 80
[ 2.064071] pci 0000:00:12.2: EHCI: unrecognized capability 80
Lisa tested disabling "USB emulation" in the BIOS but this had not effect.