port-mvme68k/59780: mvme68k GENERIC reports board not supported on MVME177

[thorpej%me.com@localhost]

>Number:         59780
>Category:       port-mvme68k
>Synopsis:       mvme68k GENERIC reports board not supported on MVME177
>Confidential:   no
>Severity:       serious
>Priority:       medium
>Responsible:    port-mvme68k-maintainer
>State:          open
>Class:          sw-bug
>Submitter-Id:   net
>Arrival-Date:   Fri Nov 21 06:50:01 +0000 2025
>Originator:     Jason Thorpe
>Release:        NetBSD 11-BETA
>Organization:
Knights of the CISCadel
>Environment:
MVME177 netbooting NetBSD 11-BETA GENERIC
>Description:
Denis Ahrens reports that booting the GENERIC kernel on an MVME147 results in:

> > NetBSD/mvme68k MVME177 netboot (via netboot) [1.6 (Mon Dec 16 13:08:11 UTC 2024)]
device: ie0 attached to 08:00:3e:24:64:17
2717012+84516 [312672+188222]=0x326828
Start @ 0x8000 [1=0x2b3f78-0x32e828]...
Sorry, the kernel isn't configured for this model.
177-Bug>

Booting the VME177 kernel works.  Both kernel configurations have the MVME177 set (and confirmed by inspecting the generated opt_mvmeconf.h).  This means that there is some logic error in the multiple-configuration case.

>How-To-Repeat:
Boot NetBSD 11-BETA GENERIC on an MVME177.
>Fix:
N/A