UPDATING: Not unusual side effect of the awk bug fixed in d4d252c49976

You might not be able to build the kernel if you have an awk between
Jul 7th and today. It does not affect all platforms due to the nature
of the bug (so amd64 is unaffected in stable/13 or current, but
is affected in stable/12. i386 seems to be affected everywhere).

Sponsored by: Netflix