[PATCH 4.20 78/92] x86/platform/UV: Use efi_runtime_lock to serialise BIOS calls