kconfig taken from vanilla Linux 3.5, and slightly patched.