FTYPE_EFI
uint32_t types = FTYPE_BIOS|FTYPE_FCODE|FTYPE_EFI;
case FTYPE_EFI:
types = (FTYPE_BIOS | FTYPE_FCODE | FTYPE_EFI);
fcache->type = FTYPE_EFI;