Downgrade Arduino-ESP32 to version 2.0.9

Later versions have broken ESP32-S2 USB serial port, at least as of
2.0.13:

https://github.com/espressif/arduino-esp32/issues/8604

fpga/max80.qpf

@@ -19,14 +19,15 @@
 #
 # Quartus Prime
 # Version 22.1std.2 Build 922 07/20/2023 SC Lite Edition
-# Date created = 13:01:07  September 19, 2023
+# Date created = 18:24:17  September 30, 2023
 #
 # -------------------------------------------------------------------------- #
 
 QUARTUS_VERSION = "22.1"
-DATE = "13:01:07  September 19, 2023"
+DATE = "18:24:17  September 30, 2023"
 
 # Revisions
 
 PROJECT_REVISION = "v2"
 PROJECT_REVISION = "v1"
+PROJECT_REVISION = "bypass"