I'm sorry if this is not the right place for this, but I've found this problem with our SD library that has already been fixed in the Arduino version of the SD library.
The main problem is that SD.begin(BUILTIN_SDCARD) returns false when run a second time.
The obvious solution is to...