
kconfig taken from vanilla Linux 4.19, and slightly patched.

