It's not enabled unless DEBUG is defined (and it's not enabled by default)
or CONFIG_DYNAMIC_DEBUG is enabled and then dynamic_debug jump points are
used when not enabled so I think any slowdown, even when dynamic_debug is
enabled is trivial.
Ah, I confused DEBUG with CONFIG_DEBUG_KERNEL. I'll post a patch, thanks!