[Patch v3 4/4] x86/platform/UV: use efi_runtime_lock to serialise BIOS calls