tools/metrics.py: Fix esp32 and esp8266 board names after renaming.

Signed-off-by: Damien George <damien@micropython.org>

Author: dpgeorge

tools/metrics.py

@@ -64,8 +64,8 @@ def __init__(self, name, dir, output, make_flags=None):
     "n": PortData("unix nanbox", "unix", "build-nanbox/micropython", "VARIANT=nanbox"),
     "s": PortData("stm32", "stm32", "build-PYBV10/firmware.elf", "BOARD=PYBV10"),
     "c": PortData("cc3200", "cc3200", "build/WIPY/release/application.axf", "BTARGET=application"),
-    "8": PortData("esp8266", "esp8266", "build-GENERIC/firmware.elf"),
-    "3": PortData("esp32", "esp32", "build-GENERIC/micropython.elf"),
+    "8": PortData("esp8266", "esp8266", "build-ESP8266_GENERIC/firmware.elf"),
+    "3": PortData("esp32", "esp32", "build-ESP32_GENERIC/micropython.elf"),
     "x": PortData("mimxrt", "mimxrt", "build-TEENSY40/firmware.elf"),
     "e": PortData("renesas-ra", "renesas-ra", "build-EK_RA6M2/firmware.elf"),
     "r": PortData("nrf", "nrf", "build-PCA10040/firmware.elf"),