[Patch v2 3/4] x86/platform/UV: use efi_enabled() instead of test_bit()