kconfig taken from vanilla Linux 3.9, and slightly patched.