# CONFIG_PCMCIA_M8XX is not set
