Those STM32 boards are so much faster when it comes to GPIO's than the ESP32 - amazing. So why is the ESP32 with 240 MHz and a dual core so much slower?