I compiled vanilla version 2.6.27.3 with CONFIG_MMC_SDHCI_PCI enabled and the SD card reader now works again. I tested latest debian kernel 2.6.26-9 as well with no success. thanks, Andrea.