[PATCH 4.4 135/143] x86/platform/UV: Use efi_runtime_lock to serialise BIOS calls