revert: kconfig: backport updates from Linux 3.4