SD driver reformatted with 4 spaces per tab.
Fixed bug in simulator: read from incorrect file descriptor when the second SD card not configured.