He is now using a 12-bit or 13-bit ADC over SPI.
Considering you are going over serial & not getting many samples/second, you should have plenty of headroom to do the SD writing with sdfat.
You should also read the thread that came before the 40ksps one:
http://arduino.cc/forum/index.php/topic,64085.0.html