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