git: 5f946c76c0cc - main - Update WITHOUT_KERNEL_SYMBOLS description

[Ed Maste]

On Wed, 28 Jul 2021 at 09:39, Rodney W. Grimes
<freebsd at gndrsh.dnsmgr.net> wrote:
>
> This option is recommended for those people who have small /usr partitions.

That doesn't seem particularly valuable; there is so much else in
/usr. There are other options that have a much larger impact on the
installed size in /usr.