Fix a kconfig warning