Print out the SDCard size when asking

It seems useful to see the size when asked whether the device
file is the right one to use.