diff --git a/sys/conf/makeLINT.mk b/sys/conf/makeLINT.mk
index 6daa280f02d..52dddf5a97d 100644
--- a/sys/conf/makeLINT.mk
+++ b/sys/conf/makeLINT.mk
@@ -55,4 +55,8 @@ LINT: ${NOTES} ${MAKELINT_SED}
 	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