kconfig.debug: fix warning