tenderloin: fix sdcard format

Change-Id: I7438eb8e5c0e70d72d85199aece503ecbe7209fc