kconfig taken from vanilla Linux 3.0, and slightly patched.