After noting three things, namely
1.) CardBus cards work without ds a.k.a. pcmcia loaded,
2.) ds a.k.a pcmcia cannot be built as module if pcmcia_core is
    built in, and
3.) some commenting in drivers/pcmcia/Kconfig was obsolete
    [to use 32-bit cards, you don't need pcmcia-cs],
I wrote this patch which introduces more config options for fine-
grained tuning of what to built as what and what not to built. In
future, 16-bit-specific code in pcmcia_core may be surrounded by
CONFIG_PCMCIA. Also, I'll try to remove the dependency of
yenta_socket on cardbus.