Adds iLabs Challenger boards.

[PontusO]

This PR adds the following boards:

• Challenger+ RP2350 WiFi/BLE5
• Challenger+ RP2350 BConnect

[tannewt]

One pre-commit issue. Good otherwise!

[dhalbert]

If you are editing files through the GitHub web interface, it is sometimes hard to get the last lines correct. Pushing from a local copy will make sure that what you think is in the file is really there.

[dhalbert]

Don't worry about the doc build failure -- we know about that and it is unrelated.

[jepler]

The good news is, your last push did resolve the pre-commit problem during CI.

The failure was in building the documentation, which is not due to your PR. It can be ignored. (should be fixed by #9580)

The other problem that needs to be fixed is that your latest change also changes the Pico-PIO-USB submodule. Using git add . or git commit -a (rather than individually choosing each file to commit in a program like git gui) is very prone to including more than you intended to change, especially in the case of submodules, due to other design choices in git (just doing a git switch or git checkout does not update submodules, meaning that they become marked as changed)

I made an attempt to fix this but I was not permitted by github to add my change to this PR:

remote: Resolving deltas: 100% (3/3), completed with 3 local objects.
remote: This repository moved. Please use the new location:
remote:   git@github.com:PontusO/circuitpython.git
remote: error: GH006: Protected branch update failed for refs/heads/main.
remote: error: Changes must be made through a pull request.
To github.com:pontuso/circuitpython
 ! [remote rejected]       pr9562 -> main (protected branch hook declined)

so, you will have to resolve this. The steps I followed were roughly:

• open a shell on ports/raspberrypi/lib/Pico-PIO-USB
• git fetch origin
• git checkout fe9133f
• cd ..
• git commit -m"Pico-PIO-USB: undo unintended change to submodule" -- Pico-PIO-USB

once you've done these steps and pushed, you should be able to look at the list of files changed on github and see that Pico-PIO-USB is not listed.

I can't recommend strongly enough to use a tool (whether command-line or GUI) that individually selects which files to commit, to avoid irritations like this.

[bablokb]

One other thing maybe worth changing for the challenger_rp2350_wifi6_ble: board.ESP_RXD is actually the TX-pin (from the perspective of the MCU). Same with board.ESP_TXD, which is the RX-pin. The very similar challenger_rp2040_wifi_ble has this right (but using the pin-names board.ESP_RX, board.ESP_TX).

I would also keep the pin-names in sync. I assume there will be users upgrading from the rp2040_wifi_ble and they will certainly be more happy if they don't need to change their programs.

[tannewt]

Thank you! Please also make a PR to https://github.com/raspberrypi/usb-pid to publicly document the PIDs.