[PATCH] ide Kconfig fixes