A simple SPI SD card interface for the Stellaris Launchpad