Comment 11 for bug 999462

Allright done that with (Linux 3.10.0-031000rc5-generic #201306082135 SMP Sun Jun 9 01:36:22 UTC 2013 x86_64 x86_64 x86_64 GNU/Linux)

First I removed the workaround stuff, namely:

    sudo echo acpiphp >> /etc/modules:

Modify /etc/default/grub to have:

    GRUB_CMDLINE_LINUX_DEFAULT="quiet splash pciehp_force=1 pciehp_poll_mode=1"

Result: Card is not detected when plugging it in after boot.

Now I wanted to check if the workaround helps, but

modprobe acpiphp
FATAL: Module acpiphp not found.

Plus my Computer won't boot when the card is inserted, log:

[ 0.869378] xhci_hcd 0000:05:00.0: xHCI Host Controller
[ 0.869382] xhci_hcd 0000:05:00.0: new USB bus registered, assigned bus number 3
[ 1.785834] tsc: Refined TSC clocksource calibration: 2292.554 MHz
[ 1.785840] Switching to clocksource tsc
 - here it hangs until the card is removed -
[ 13.253006] xhci_hcd 0000:05:00.0: can't setup
[ 13.253012] xhci_hcd 0000:05:00.0: USB bus 3 deregistered
[ 13.253076] xhci_hcd 0000:05:00.0: init 0000:05:00.0 fail, -19