Changes from MicroPython ports/esp32: add board PLAY32 and PLAY32_PSRAM ports/unix: add play32 variant