XMOS StartKit - reading and writing to SD card