[PATCH 4.9 47/58] x86/platform/UV: Use efi_runtime_lock to serialise BIOS calls