As the original reporter pointed out, this bug is triggered by a change in the debian kernel configuration regarding the ACPI PCI Hotplug driver [1]. Since kernel update linux-image-3.2.0-2-amd64 (3.2.10-1) this driver is build in (CONFIG_HOTPLUG_PCI_ACPI=y) instead of being compiled as a module (CONFIG_HOTPLUG_PCI_ACPI=m).
The kernel changelog lists Ben Hutchings as author for this change: - [x86] Change HOTPLUG_PCI_ACPI to built-in (Closes: #663433) [2] The reason for this decision was that the ACPI PCI Hotplug driver didn't get loaded on machines which need it for ExpressCard hotplugging to work [3]. Since this bug got no attention at all on the kernel-pci mailinglist for three months now [4] I wanted to file a bugreport upstream against driver: pci – but I'm not sure what to do now since it doesn't seem to be very safe to build-in this driver and maybe the debian kernel team wants to reconsider this decision…? Please tell me if this decision is final – even though the kernel fails to load on at least two recent machines with the ACPI PCI Hotplug driver build in. If it is I'll file a bugreport upstream. Thanks, Stefan. P.S. The default kernel configuration for this item is CONFIG_HOTPLUG_PCI_ACPI=n. I also had a look at this configuration item in Ubuntu – it's set to CONFIG_HOTPLUG_PCI_ACPI=m. [1] http://cateee.net/lkddb/web-lkddb/HOTPLUG_PCI_ACPI.html [2] http://packages.debian.org/changelogs/pool/main/l/linux/linux_3.2.23-1/changelog#version3.2.10-1 [3] http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=663433 [4] http://thread.gmane.org/gmane.linux.kernel.pci/15559
signature.asc
Description: This is a digitally signed message part
