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

[vermaden]

>Number:         161540
>Category:       misc
>Synopsis:       gzippped kernel is not updated by FREEBSD-UPDATE
>Confidential:   no
>Severity:       non-critical
>Priority:       low
>Responsible:    freebsd-bugs
>State:          open
>Quarter:        
>Keywords:       
>Date-Required:
>Class:          sw-bug
>Submitter-Id:   current-users
>Arrival-Date:   Thu Oct 13 09:50:11 UTC 2011
>Closed-Date:
>Last-Modified:
>Originator:     vermaden
>Release:        8.1-RELEASE
>Organization:
>Environment:
8.1-RELEASE (stock)
>Description:
If You GZIP you kernel (gzip -9 /boot/kernel/kernel) then it will not be later updated by the FREEBSD-UPDATE tool.
>How-To-Repeat:
# cd /boot/kernel
# gzip -9 kernel
# ls kernel.gz
kernel.gz
# ls kernel
ls: kernel: No such file or directory
# freebsd-update upgrade -r 8.2-RELEASE
# freebsd-update install
# shutdown -r now
# freebsd-update install
# shutdown -r now

.. and after all upgrade process /boot/kernel/kernel.gz remains untouched, but there is also no newer /boot/kernel/kernel installed to use instead of the gzipped one.

>Fix:
Check if kernel is gzipped or also install new stock kernel.

>Release-Note:
>Audit-Trail:
>Unformatted: