kconfig taken from vanilla Linux 3.13, and slightly patched.