Comment 10 for bug 790754

Can you please try the following and see if it works ?

 sudo setpci -v -d 1180:e823 f9.B=fc
 sudo setpci -v -d 1180:e823 150.B=10
 sudo setpci -v -d 1180:e823 f9.B=00
 sudo setpci -v -d 1180:e823 fc.B=01
 sudo setpci -v -d 1180:e823 e1.B=32
 sudo setpci -v -d 1180:e823 fc.B=00

 sudo rmmod sdhci_pci
 sudo rmmod sdhci
 sudo modprobe sdhci
 sudo modprobe sdhci_pci