# CONFIG_PCMCIA_SPECTRUM is not set