8.4.10. do_strip

Strips unneeded sections out of the Linux kernel image.