[PATCH 1/1] efi_loader: memory leak in efi_set_bootdev()