port-pmax/45147: loading kernel overwrites loader during load

[jakllsch%kollasch.net@localhost]

>Number:         45147
>Category:       port-pmax
>Synopsis:       loading kernel overwrites loader during load
>Confidential:   no
>Severity:       critical
>Priority:       high
>Responsible:    port-pmax-maintainer
>State:          open
>Class:          sw-bug
>Submitter-Id:   net
>Arrival-Date:   Thu Jul 14 21:10:00 +0000 2011
>Originator:     Jonathan A. Kollasch
>Release:        -current
>Organization:
        
>Environment:
        
        
Architecture: pmax
Machine: pmax
>Description:
The pmax secondary bootloader lives at 0x80710000.
The pmax GENERIC kernel is still smaller than this, (_end is at 806a07a8),
but when /boot loads the symbol table for ddb, it overwrites the executing code.
>How-To-Repeat:
Boot pmax GENERIC kernel using pmax bootloader.
>Fix:
Make the kernel the right size again or move the bootloader up further.

>Unformatted: