port-mipsco/39915: ECOFF mipsco installation kernels are not built

[miod%online.fr@localhost]

>Number:         39915
>Category:       port-mipsco
>Synopsis:       ECOFF mipsco installation kernels are not built
>Confidential:   no
>Severity:       critical
>Priority:       medium
>Responsible:    port-mipsco-maintainer
>State:          open
>Class:          sw-bug
>Submitter-Id:   net
>Arrival-Date:   Thu Nov 13 17:30:00 +0000 2008
>Originator:     Miod Vallat
>Release:        HEAD
>Organization:
>Environment:
>Description:
src/distrib/mipsco/instkernel/Makefile 1.7 made build of ECOFF kernels 
conditional on ECOFF_KERNEL being defined.

However, this symbol is never defined. As a result, ECOFF installation kernels 
are not built.

Since the PROM can only boot ECOFF binaries, there is no way to boot 
NetBSD/mipsco installation media.
>How-To-Repeat:
Try to boot netbsd-INSTALL from the network.
>Fix:
Remove bogus .if defined(ECOFF_KERNEL) and .endif lines.