This reverts commit 47d6d752.

Commit f42ddca7 (doc-rst: kernel-doc directive, fix state machine
reporter) from Marcus Heiser provides a better fix, so this configuration
change is no longer needed.