diff --git a/en_US.ISO8859-1/books/developers-handbook/kerneldebug/chapter.xml b/en_US.ISO8859-1/books/developers-handbook/kerneldebug/chapter.xml
index cc5b911182..eb14b94fce 100644
--- a/en_US.ISO8859-1/books/developers-handbook/kerneldebug/chapter.xml
+++ b/en_US.ISO8859-1/books/developers-handbook/kerneldebug/chapter.xml
@@ -758,6 +758,7 @@ Debugger (msg=0xf01b0383 "Boot flags requested debugger")
 	options		INVARIANTS
 	options		INVARIANT_SUPPORT
 	options		WITNESS
+	options		WITNESS_SKIPSPIN
 	options		DEBUG_LOCKS
 	options		DEBUG_VFS_LOCKS
 	options		DIAGNOSTIC</programlisting>