Kconfig: tweak debug options