# CONFIG_PCMCIA_FDOMAIN is not set
