bootup on MH-ET LIVE ESP32 board

While those boards only cost half of the price of a board with the same pinout fron AZ Delivery, there are some nuances to the boot process, namely with the usage of GPIO0, as it turns out:
 https://www.instructables.com/Flashing-Micropython-to-ESP32-MinikitMH-ET-LIVE/

We should be able to fix this easily. Currently, we use GPIO0 for the right button.