Correctly deinit USB devices

Author: tannewt

ports/raspberrypi/boards/adafruit_fruit_jam/mpconfigboard.mk

@@ -8,6 +8,3 @@ CHIP_PACKAGE = B
 CHIP_FAMILY = rp2
 
 EXTERNAL_FLASH_DEVICES = "W25Q128JVxQ"
-
-# CIRCUITPY_DISPLAY_FONT = $(TOP)/tools/fonts/unifont-16.0.02-all.bdf
-# CIRCUITPY_FONT_EXTRA_CHARACTERS = "🖮🖱️"

shared-bindings/usb/core/__init__.c

@@ -89,7 +89,7 @@ static mp_obj_t _next_device(usb_core_devices_obj_t *iter) {
 
         // We passed the filters. Now make a properly allocated object to
         // return to the user.
-        usb_core_device_obj_t *self = mp_obj_malloc(usb_core_device_obj_t, &usb_core_device_type);
+        usb_core_device_obj_t *self = mp_obj_malloc_with_finaliser(usb_core_device_obj_t, &usb_core_device_type);
 
         common_hal_usb_core_device_construct(self, i);
         iter->next_index = i + 1;