Check serial port definitions (don't just assume atmega32u4)