disable PICODVI and USB_HOST

Author: bablokb

ports/raspberrypi/boards/pimoroni_badger2040/mpconfigboard.mk

@@ -9,3 +9,5 @@ CHIP_FAMILY = rp2
 EXTERNAL_FLASH_DEVICES = "W25Q16JVxQ"
 
 CIRCUITPY__EVE = 1
+CIRCUITPY_PICODVI = 0
+CIRCUITPY_USB_HOST = 0

ports/raspberrypi/boards/pimoroni_inky_frame_5_7/mpconfigboard.mk

@@ -17,6 +17,8 @@ CIRCUITPY_WEB_WORKFLOW = 1
 CIRCUITPY_MDNS = 1
 CIRCUITPY_SOCKETPOOL = 1
 CIRCUITPY_WIFI = 1
+CIRCUITPY_PICODVI = 0
+CIRCUITPY_USB_HOST = 0
 
 CFLAGS += -DCYW43_PIN_WL_HOST_WAKE=24 -DCYW43_PIN_WL_REG_ON=23 -DCYW43_WL_GPIO_COUNT=3 -DCYW43_WL_GPIO_LED_PIN=0
 # Must be accompanied by a linker script change

ports/raspberrypi/boards/pimoroni_inky_frame_7_3/mpconfigboard.mk

@@ -17,6 +17,8 @@ CIRCUITPY_WEB_WORKFLOW = 1
 CIRCUITPY_MDNS = 1
 CIRCUITPY_SOCKETPOOL = 1
 CIRCUITPY_WIFI = 1
+CIRCUITPY_PICODVI = 0
+CIRCUITPY_USB_HOST = 0
 
 CFLAGS += -DCYW43_PIN_WL_HOST_WAKE=24 -DCYW43_PIN_WL_REG_ON=23 -DCYW43_WL_GPIO_COUNT=3 -DCYW43_WL_GPIO_LED_PIN=0
 # Must be accompanied by a linker script change

ports/raspberrypi/boards/pimoroni_plasma2040/mpconfigboard.mk

@@ -9,3 +9,5 @@ CHIP_FAMILY = rp2
 EXTERNAL_FLASH_DEVICES = "W25Q64JVxQ"
 
 CIRCUITPY__EVE = 1
+CIRCUITPY_PICODVI = 0
+CIRCUITPY_USB_HOST = 0

ports/raspberrypi/boards/pimoroni_plasma2040w/mpconfigboard.mk

@@ -17,6 +17,8 @@ CIRCUITPY_WEB_WORKFLOW = 1
 CIRCUITPY_MDNS = 1
 CIRCUITPY_SOCKETPOOL = 1
 CIRCUITPY_WIFI = 1
+CIRCUITPY_PICODVI = 0
+CIRCUITPY_USB_HOST = 0
 
 CFLAGS += -DCYW43_PIN_WL_HOST_WAKE=24 -DCYW43_PIN_WL_REG_ON=23 -DCYW43_WL_GPIO_COUNT=3 -DCYW43_WL_GPIO_LED_PIN=0
 # Must be accompanied by a linker script change