[PATCH] pcmcia: always use device pointer to config_t