# CONFIG_PCMCIA_AHA152X is not set
