Fix some kconfig mistakes