# CONFIG_PCMCIA_WL3501 is not set