kconfig taken from vanilla Linux 6.16, and slightly patched.