8.4.12. do_strip

Strips unneeded sections out of the Linux kernel image.