diff --git a/tool/builddir/build.conf/run_kernel_imx6q_sabrelite b/tool/builddir/build.conf/run_kernel_imx6q_sabrelite
index 5d99dec65..ae788b62d 100644
--- a/tool/builddir/build.conf/run_kernel_imx6q_sabrelite
+++ b/tool/builddir/build.conf/run_kernel_imx6q_sabrelite
@@ -1,3 +1,3 @@
-# kernel to use (foc, hw)
+# kernel to use (foc, hw, sel4)
 KERNEL ?= hw