Due to recent thread
Unable to connect to intel galileo via router using an ethernet cable.
I've been looking for posts/reports of SD card problems/troubleshooting, and I've found
SD Card Troubleshooting
and newer versions of the Arduino IDE does not have it... maybe the only Arduino IDE version which have that option is the "old" Arduino IDE 1.6.0+Intel... maybe it should be clear in the guide/document SD Card Troubleshooting
Retrieving data ...