> The problem is that the kernel hasn't any idea how to get PC video
> cards into/out of graphics mode (because there are ... so many different
> ways...)

I was thinking of an entry in the kernel where the display driver 
could call in and register a procedure to be called on the way to/from 
DDB.  If nobody calls in to register then nothing happens.