# CONFIG_PCMCIA_XIRCOM is not set
