[PATCH 1/1] efi_loader: use after free in efi_exit()