some cleanup in the SD card controller