efi_loader: correctly determine if an MMC device is an SD-card