8.4.8.
do_savedefconfig
Creates a minimal Linux kernel configuration file.