kconfig: fix bad merge