ak. How to revive a stuck PIC32MZ EC Starter Kit?