The stub seems to break uploading from running firmware on newer
ESP-IDFs.

There's a better way to fix this by patching esptool.py, but this is
good enough for now.

https://www.esp32.com/viewtopic.php?t=10184#p42176

This replaces the original GC9A01 driver with one optimized for our
usecase, implemented directly in a brand-new BSP (board support package)
component.

The major differences between the drivers are:

 1. aware of different badge generations
 2. generic: still supporting the possibility that we might have to
    switch to a different SPI display at some point
 3. only supports writing entire screen at once from in-memory buffer:
    no line drawing, filling, etc.
 4. spi screen blitting does not waste CPU time, instead uses
    ESP-IDF/FreeRTOS DMA/Interrupt logic to perform transfers
    efficiently.

We also drive-by enable SPIRAM, as we're starting to run out of memory.

This moves badge hardware generation selection over from a header file
into ESP-IDF configuratbility.

The generaiton can now be selected by specifying `BADGE_GENERATION` or
`-g` when running the initial built.

In addition, each generation now gets its own sdkconfig.defaults file
(instead named sdkconfig.$generation) and the big autogeneration
sdkconfig file gets yeeted.