install/52203: sgimips netbsd-INSTALL32-IP3x defaults to netbsd-GENERIC32_IP2x kernel

[schwarz%netbsd.org@localhost]

>Number:         52203
>Category:       install
>Synopsis:       sgimips netbsd-INSTALL32-IP3x defaults to netbsd-GENERIC32_IP2x kernel
>Confidential:   no
>Severity:       non-critical
>Priority:       low
>Responsible:    install-manager
>State:          open
>Class:          change-request
>Submitter-Id:   net
>Arrival-Date:   Sun Apr 30 12:30:00 +0000 2017
>Originator:     Georg Schwarz
>Release:        7.1
>Organization:
>Environment:
>Description:
When installing NetBSD 7.1 on an SGI O2 using netbsd-INSTALL32_IP3x, the installation defaults to fetching and installing the netbsd-GENERIC32_IP2x kernel (and of course the machine then fails to boot). For sure you can easily change that manually during the installation by explicitly selecting netbsd-GENERIC32_IP3x to be installed.
It's only a very minor annoyance provided you are aware of it, but still it might be improved.
>How-To-Repeat:

>Fix: