Hmm… I don't think that should have been necessary, assuming that the firmware is not overlapping the CS signals and the SD card sets its DO pin to high impedance when its CS pin is not active. I'll test it here tomorrow.