[Patch v2 4/4] x86/platform/UV: use efi_runtime_sem to serialise BIOS calls