[PATCH] AVR32: Allow renumbering of serial devices