Extract USB_*_INTERFACE_COUNT macros to usb_interface_*.h files and make usb_device_config.h use them along with USB_*_ENDPOINT_COUNT macros.

right/src/usb_interfaces/usb_interface_basic_keyboard.h

@@ -10,6 +10,7 @@
 // Macros:
 
     #define USB_BASIC_KEYBOARD_INTERFACE_INDEX 1
+    #define USB_BASIC_KEYBOARD_INTERFACE_COUNT 1
 
     #define USB_BASIC_KEYBOARD_ENDPOINT_INDEX 3
     #define USB_BASIC_KEYBOARD_ENDPOINT_COUNT 1

right/src/usb_interfaces/usb_interface_generic_hid.h

@@ -10,6 +10,7 @@
 // Macros:
 
     #define USB_GENERIC_HID_INTERFACE_INDEX 0
+    #define USB_GENERIC_HID_INTERFACE_COUNT 1
 
     #define USB_GENERIC_HID_ENDPOINT_IN_INDEX 1
     #define USB_GENERIC_HID_ENDPOINT_OUT_INDEX 2

right/src/usb_interfaces/usb_interface_media_keyboard.h

@@ -10,6 +10,7 @@
 // Macros:
 
     #define USB_MEDIA_KEYBOARD_INTERFACE_INDEX 3
+    #define USB_MEDIA_KEYBOARD_INTERFACE_COUNT 1
 
     #define USB_MEDIA_KEYBOARD_ENDPOINT_INDEX 5
     #define USB_MEDIA_KEYBOARD_ENDPOINT_COUNT 1

right/src/usb_interfaces/usb_interface_mouse.h

@@ -9,6 +9,7 @@
 // Macros:
 
     #define USB_MOUSE_INTERFACE_INDEX 2
+    #define USB_MOUSE_INTERFACE_COUNT 1
 
     #define USB_MOUSE_ENDPOINT_INDEX 4
     #define USB_MOUSE_ENDPOINT_COUNT 1