$FreeBSD: head/tools/build/options/WITHOUT_KERNEL_SYMBOLS 222188 2011-05-22 18:12:59Z imp $
Set to not install kernel symbol files. This option is recommended for those people who have small root partitions.