Rename the new AUX driver to SERIAL, and add some more opcodes.

[davidgiven]

I feel like there needs to be a way to handle more than one serial connection (possibly through multiple drivers), but let's deal with that later.