efi_loader: helper function to add EFI object to list