This helps my development scripts work better, and probably also fixes a problem switching from the circuitpython environment back to arduino. (specifically, the "1200 baud" serial trick was not rebooting into the bootloader but was just resetting)
board_deinit
This is a port of CircuitPython to the i.MX RT10xx series of chips.