Results 2 issues of Michael

If mgos_gpio_clear_int is called in an interrupt callback cnt is set to 0 in the clear function. Then it's decremented in mgos_gpio_int_cb: 0-1=2^16-1 which can start an infinite loop. ```...

After a soft reset when there was an int on GPIO2 mcu can fall into infinite loop. Probably the GPIO2 is triggered because of the second UART - U1TXD which...