Thinkpad X40 2371 SD Slot not working

[Carlos Maldonado]

OK, got module-init-tools-3.2-pre7 working along with patched sysfsutils
from debian unstable (installed on stable, it didn't break anything) and
got pcmciautils-003 installed, running on a 2.6.12.1 vanilla kernel

result:

nada

I restart hotplug, and nothing

I just noticed something upon reboot and I was able to reproduce it 
restarting pcmcia service

amidala:~# /etc/init.d/pcmcia restart
Shutting down PCMCIA services: done.
Starting PCMCIA services: cardmgr[7737]: watching 1 socket
cardmgr[7737]: could not adjust resource: IO ports 0xc00-0xcff: Function 
not implemented
cardmgr[7737]: could not adjust resource: IO ports 0x800-0x8ff: Function 
not implemented
cardmgr[7737]: could not adjust resource: IO ports 0x100-0x4ff: Function 
not implemented
cardmgr[7737]: could not adjust resource: memory 0xc0000-0xfffff: 
Function not implemented
cardmgr[7737]: could not adjust resource: memory 0x60000000-0x60ffffff: 
Function not implemented
cardmgr[7737]: could not adjust resource: memory 0xa0000000-0xa0ffffff: 
Function not implemented
cardmgr[7737]: could not adjust resource: IO ports 0xa00-0xaff: Function 
not implemented

once again I'm clueless about what might be going on

cardctl reports only one socket (0) and nothing in it (although I have 
an SD card inserted in the SD slot)

Carlos