[PATCH 4.19 74/85] x86/platform/UV: Use efi_runtime_lock to serialise BIOS calls