8.4.9. do_savedefconfig

Creates a minimal Linux kernel configuration file.