diff --git a/share/mk/src.opts.mk b/share/mk/src.opts.mk
index 22373f8c7af..b3f635bc5a7 100644
--- a/share/mk/src.opts.mk
+++ b/share/mk/src.opts.mk
@@ -136,6 +136,7 @@ __DEFAULT_YES_OPTIONS = \
     LOADER_OFW \
     LOADER_PXEBOOT \
     LOADER_UBOOT \
+    LOADER_IA32 \
     LOCALES \
     LOCATE \
     LPR \
@@ -323,6 +324,10 @@ BROKEN_OPTIONS+=LOADER_KBOOT
 .if (${__T:Marm*} == "" && ${__T:Mpowerpc*} == "") || ${__T} == "powerpc64le"
 BROKEN_OPTIONS+=LOADER_UBOOT
 .endif
+# The 32-bit UEFI loader is only for amd64
+.if ${__T} != "amd64"
+BROKEN_OPTIONS+=LOADER_IA32
+.endif
 # GELI and Lua in loader currently cause boot failures on powerpc.
 # Further debugging is required -- probably they are just broken on big
 # endian systems generically (they jump to null pointers or try to read
diff --git a/tools/build/options/WITHOUT_LOADER_IA32 b/tools/build/options/WITHOUT_LOADER_IA32
new file mode 100644
index 00000000000..2df947216b8
--- /dev/null
+++ b/tools/build/options/WITHOUT_LOADER_IA32
@@ -0,0 +1 @@
+Do not build the 32-bit UEFI loader.
diff --git a/tools/build/options/WITH_LOADER_IA32 b/tools/build/options/WITH_LOADER_IA32
new file mode 100644
index 00000000000..2030619dbb8
--- /dev/null
+++ b/tools/build/options/WITH_LOADER_IA32
@@ -0,0 +1 @@
+Build the 32-bit UEFI loader.