Update the board IDs

A lot of boards were masquerading as revo to get the right
GCS tabs.  This means they can have the bootloader doesn't
block loading incompatible firmware and the GCS cannot
distinguish them.
GCS Support for the new board IDs

Make sure that the GCS knows the names of the boards as well as
which configuration gadget to show when they are attached.
GCS Board IDs

Update the output gadget to know about the new board numbers
and indicate the output banks.