From 78347d6168c9bcbc5f2d78667297204c9a1adf9a Mon Sep 17 00:00:00 2001
From: andrew <andrew@FreeBSD.org>
Date: Fri, 3 Apr 2015 12:30:18 +0000
Subject: [PATCH] Only include machine/specialreg.h on x86

---
 sys/boot/efi/loader/bootinfo.c | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/sys/boot/efi/loader/bootinfo.c b/sys/boot/efi/loader/bootinfo.c
index 599ac5b9791b..bdad0beae320 100644
--- a/sys/boot/efi/loader/bootinfo.c
+++ b/sys/boot/efi/loader/bootinfo.c
@@ -39,7 +39,10 @@ __FBSDID("$FreeBSD$");
 #include <machine/elf.h>
 #include <machine/metadata.h>
 #include <machine/psl.h>
+
+#if defined(__amd64__) || defined(__i386__)
 #include <machine/specialreg.h>
+#endif
 
 #include <efi.h>
 #include <efilib.h>