Index: head/sys/conf/makeLINT.mk
===================================================================
--- head/sys/conf/makeLINT.mk
+++ head/sys/conf/makeLINT.mk
@@ -55,4 +55,8 @@
 	cat ${.TARGET} > ${.TARGET}64
 	echo "machine	${TARGET} powerpc" >> ${.TARGET}
 	echo "machine	${TARGET} powerpc64" >> ${.TARGET}64
+# mlx5 needs 64-bit atomics, so exclude from 32-bit PPC
+	echo "nodevice mlx5" >> ${.TARGET}
+	echo "nodevice mlx5en" >> ${.TARGET}
+	echo "nodevice mlx5ib" >> ${.TARGET}
 .endif