Index: sys/arm64/conf/NOTES
===================================================================
--- sys/arm64/conf/NOTES
+++ sys/arm64/conf/NOTES
@@ -203,6 +203,9 @@
 options 	FDT
 device		acpi
 
+# IOMMU support
+options 	IOMMU
+
 # DTBs
 makeoptions	MODULES_EXTRA="dtb/allwinner dtb/rockchip dtb/rpi"
 
Index: sys/i386/conf/NOTES
===================================================================
--- sys/i386/conf/NOTES
+++ sys/i386/conf/NOTES
@@ -433,8 +433,6 @@
 
 device		tdfx			# Enable 3Dfx Voodoo support
 
-options 	IOMMU			# Enable IOMMU support
-
 #
 # ACPI support using the Intel ACPI Component Architecture reference
 # implementation.
Index: sys/x86/conf/NOTES
===================================================================
--- sys/x86/conf/NOTES
+++ sys/x86/conf/NOTES
@@ -108,3 +108,6 @@
 #       V.35/RS-232/RS-530/RS-449/X.21/G.703/E1/E3/T3/STS-1
 #       serial adaptor, requires NETGRAPH
 device		cp
+
+# IOMMU support
+options 	IOMMU