efi_loader: memory leak in efi_set_bootdev()