A patch to fix this is most welcome. I do not know the PCMCIA kernel interface myself, so I hope someone who do can provide a patch.