diff --git a/tool/microkit/sysxml.py b/tool/microkit/sysxml.py
index 7bcf4cad..09ebaef6 100644
--- a/tool/microkit/sysxml.py
+++ b/tool/microkit/sysxml.py
@@ -11,7 +11,7 @@
 # Force use of Python elementtree to avoid overloading
 import sys
 sys.modules['_elementtree'] = None  # type: ignore
-import xml.etree.ElementTree as ET
+import xml.etree.ElementTree as ET # NOQA
 
 
 MIN_PAGE_SIZE = 0x1000  # FIXME: This shouldn't be here