misc/161540: gzippped kernel is not updated by FREEBSD-UPDATE

[remko at FreeBSD.org]

Synopsis: gzippped kernel is not updated by FREEBSD-UPDATE

Responsible-Changed-From-To: freebsd-bugs->cperciva
Responsible-Changed-By: remko
Responsible-Changed-When: Thu Oct 13 14:34:40 UTC 2011
Responsible-Changed-Why: 
Hi Colin,

This is your toy, can you have a look at whether it makes sense? I know the
tool only looks for files that exist and change them if they are different
on the build-box and this had seen manual fiddling so it ignores them.

http://www.freebsd.org/cgi/query-pr.cgi?pr=161540