ensure USB config numbers always start from 1

Depending on which features (and thus USB configurations) are included
in the firmware, we need to re-define the ordering of the configuration
numbers, as the Atmel USBD driver simply assumes that configurations are
numbered 1..N without any gaps in the sequence.

firmware/include_board/board_common.h

@@ -25,8 +25,6 @@
 #include "string.h"
 #include "inttypes.h"
 
-#include "simtrace.h"
-
 #define MIN(a, b)       ((a < b) ? a : b)
 
 #ifdef __GNUC__