Flesh out CFI and SD card loader shims between the storage-layer and
device driver -- device-name parsing, etc.  Loader now appears to be
able to see the SD card filesystem, which sounds promising.