8.4.9.
do_savedefconfig
Creates a minimal Linux kernel configuration file.