ia64/efi: Implement efi_enabled()