Looks like the following has to be used for different cards to be ack'd (previously once the first card was inserted, it would only notice that one until the drivers were unloaded and reloaded):
options sdhci debug_quirks=0x4671
Looks like the following has to be used for different cards to be ack'd (previously once the first card was inserted, it would only notice that one until the drivers were unloaded and reloaded):
options sdhci debug_quirks=0x4671