Symbol: WDC_PCMCIA_NO_EXTRA_RESETS