I sent a patch to fix the PCI ExpressCard hotplugging bug.
diff -urN origs/module-init-tools-3.16/debian/modprobe.d/acpiphp.conf dest/module-init-tools-3.16/debian/modprobe.d/acpiphp.conf --- origs/module-init-tools-3.16/debian/modprobe.d/acpiphp.conf 1970-01-01 08:00:00.000000000 +0800 +++ dest/module-init-tools-3.16/debian/modprobe.d/acpiphp.conf 2013-02-20 16:49:07.745855874 +0800 @@ -0,0 +1,3 @@ +# /etc/modprobe.d/acpiphp.conf +# acpiphp need to automatically be loaded or the OS will not support PCI ExpressCard hotplugging +acpiphp
