just in case anyone else tries this, it seems that the frame 
framebuffer drivers simply doesn't understand that one
can have a framebuffer interface on a 5k/240 (DS_3PMAX_PLUS)...


It looks like someone did a cut-and-paste on the
select-a-serial-interface code, duplicating it in each framebuffer
driver; and *NONE* of the TurboChannel-fb switch statements
include DS_3MAXPLUS.  Grr.


As far as I can figure, the functions sbfConfigMouse, mfbConfigMouse,
and cfbConfigMouse, should cease to exist, and the function
tb_kbdmouseconfig() in fb.c should be used instead.


Ted, if you think the right thing to do is duplicate the functions,
is there some  rationale for most of the cannot-find-a-mouse
printf()s saying "Can't configure keyboard/mouse\n", and  some saying
"Can't configure mouse/keyboard\n"?

--Jonathan