> Why is this a "machine" subcommand rather than a generic command? It seems
> like you should be able to switch between CPUs on all multi-CPU ports,
> using the same command, so a generic "cpu" command is warranted.

Note also that this is on a branch, not on the mainline.  I only
branched arch/i386 for SMP work.

This was done this way as an expedient hack so that i could stabilize
SMP.  It will be cleaned up when i have time; you're welcome to clean
it up for me.

I'm not entirely happy with the way it works; it may make more sense
to *hand off* the console from cpu to cpu so that you can (e.g.,) look
at cpu-specific registers and devices (like the local apic) which are
only accessible from the cpu they're attached to.