Fix build with CONFIG_PCMCIA disabled