
kconfig taken from vanilla Linux 7.1, and slightly patched.

