
kconfig taken from vanilla Linux 7.2, and slightly patched.

