The bug can be reproduced upstream. However in the course of testing I have found settings that appear to work on both kernels.
It appears the bug is dependent not only on BIOS settings, but on whether the last boot was a hard boot or soft reset / shutdown -r
Hence my conclusion that BIOS setting "xHCI: enabled" caused a kernel panic appears incorrect.
I have played around some more with the BIOS settings and with the following both my SD cards are detected and working, both on upstream and current Ubuntu 12.10 kernel, 3.5.0:
EHCI: enabled
Legacy USB support: enabled
Legacy USB3 support: enabled
xHCI: enabled
EHCI handoff: disabled
A configuration that causes unhandled errors in dmesg when I insert an SD card, both upstream and Ubunty stock kernels, is:
EHCI: enabled
Legacy USB support: enabled
Legacy USB3 support: enabled
xHCI: auto
EHCI handoff: disabled
With this configuration I am also getting crashes / kernel panic after boot & login, which can happen when there is no activity at the terminal. Actually it's not clear if these are linked to the SD card problems, or a separate bug.
I have tested upstream 3.8.0-rc7
The bug can be reproduced upstream. However in the course of testing I have found settings that appear to work on both kernels.
It appears the bug is dependent not only on BIOS settings, but on whether the last boot was a hard boot or soft reset / shutdown -r
Hence my conclusion that BIOS setting "xHCI: enabled" caused a kernel panic appears incorrect.
I have played around some more with the BIOS settings and with the following both my SD cards are detected and working, both on upstream and current Ubuntu 12.10 kernel, 3.5.0:
EHCI: enabled
Legacy USB support: enabled
Legacy USB3 support: enabled
xHCI: enabled
EHCI handoff: disabled
A configuration that causes unhandled errors in dmesg when I insert an SD card, both upstream and Ubunty stock kernels, is:
EHCI: enabled
Legacy USB support: enabled
Legacy USB3 support: enabled
xHCI: auto
EHCI handoff: disabled
With this configuration I am also getting crashes / kernel panic after boot & login, which can happen when there is no activity at the terminal. Actually it's not clear if these are linked to the SD card problems, or a separate bug.