[PATCH v3 1/3] efi_loader: rename check_disk_has_default_file function