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>