ESP32-S31 dual-core RISC-V SoC is getting official Linux support

Write your take first — we'll ask for email only when you're ready to publish.