port-hpcmips/42359: MobilePro 750C/pbsdboot cannot boot latest kernels

[payphoneed%gmail.com@localhost]

>Number:         42359
>Category:       port-hpcmips
>Synopsis:       MobilePro 750C/pbsdboot cannot boot latest kernels
>Confidential:   no
>Severity:       critical
>Priority:       high
>Responsible:    port-hpcmips-maintainer
>State:          open
>Class:          sw-bug
>Submitter-Id:   net
>Arrival-Date:   Sun Nov 22 01:55:00 +0000 2009
>Originator:     Ed
>Release:        5.99.22
>Organization:
None
>Environment:
N/A
>Description:
pbsdboot1.exe seems unable to boot a 5.99.22 kernel. hpcboot.exe can boot it on 
a MobilePro 880, however hpcboot.exe cannot run on a 750C as the 750C runs 
Windows CE 2.0, which necessitates pbsdboot1.exe, which renders NetBSD 5.99 
unusable on the MobilePro 750C units.
>How-To-Repeat:
Obvious
>Fix:
Not obvious.