[PATCH] pcmcia: fix many device IDs