correct wrong CONFIG_PCMCIA defaults (fixes buildbot errors)