Hi Luke.

Luke Mewburn <lukem@netbsd.org> wrote:

> Log Message:
> * rename vga_stdscreen* -> vga_25lscreen*
> * in vga_init(), set the screen type to WSCONS_DEFAULT_TYPE, which defaults

If I understand this change correctly, then this should be called
VGA_DEFAULT_SCREEN_TYPE or something shorter, meaning the same.

WRT to the corruption, the `fast scrolling' might be causing that. You could
try disabling it.

One other thing that needs to be handled if the kernel is entered with the
cursor on the 25th row. I don't know if it currently is.