> I've made some improvements so that USB console keyboards should
> work better now.  You can plug and unplug the console keyboard, and
> even use DDB.

So I just tried this on a Mac cube.  Hot-swapping the console keyboard
does in fact work, which is cool.  However, when I press Ctrl-Alt-Esc
and get a DDB prompt, the keyboard is frozen as before.