ide/Kconfig: couple of fixes