port-shark/41672: Install kernel in release directory is ELF version only.

[is%beverly.kleinbus.org@localhost]

>Number:         41672
>Category:       port-shark
>Synopsis:       No a.out version of INSTALL kernel in release
>Confidential:   no
>Severity:       serious
>Priority:       high
>Responsible:    port-shark-maintainer
>State:          open
>Class:          sw-bug
>Submitter-Id:   net
>Arrival-Date:   Mon Jul 06 09:30:00 +0000 2009
>Originator:     Ignatios Souvatzis
>Release:        NetBSD 5.0.0_PATCH
>Organization:
seal your e-mail: http://www.gnupg.org/
>Environment:
        
        
System: NetBSD marie 5.0.0_PATCH NetBSD 5.0.0_PATCH (MARIE) #0: Sun Jul 5 
22:28:50 CEST 2009 
ignatios@random85:/var/itch/sources/5.0/os/sys/arch/shark/compile/MARIE shark
Architecture: arm
Machine: shark
>Description:
        release/shark/binary/kernel contains ELF and a.out versions of
        GENERIC, but only an ELF version of the INSTALL kernel.
>How-To-Repeat:
        Try to upgrade a Shark to 5.0.0_PATCH
>Fix:
        Workaround: use the install kernel from the object tree.
        Fix: make "make release" copy that, too.

        Note: ISTR that in earlier releases, only the a.out version was
        in the release tree. This might be an option, too - after all,
        it's not likely that kernel symbols will be needed by userland
        (e.g. systat) for the installation...

>Unformatted: