kconfig: Avoid format overflow warning from GCC 8.1