This moves our console implementation over to a CDC-ACM based one,
instead of using UART/JTAG.

This allows us to run multiple USB modes, and have prettier USB device
strings :).

The downside is that you now have to boot the badge into bootrom serial
mode before being able to reflash, but I have An Idea On How To Fix This
(tm).

Phew.

This was mostly blocked by Micropython, but it has since then also
upgraded to IDF 5: https://github.com/micropython/micropython/commit/e4650125b88a35f074097f16d84a8f49bd22ac06

We take that change and selectively apply it where necessary. However,
it's not a 1:1 patch apply, as we already were on a somewhat forked
Micropython, and we also want to support IDF 5.1, not 5.0.

We also bump up the IDF distribution brought in by Nix, and fix some
warnings that have since turned into errors due to toolchain changes.