It might be worthwhile to verify that they are indeed called "PC cards" 
now, and name the driver appropriately.  I've heard that PCMCIA has been 
dropped in favor of the simpler (but perhaps more ambiguous) form.

--scott