we are developing a TX2 carrier board and facing an issue with the reset/reboot:
Often, after a reset (via reset button) or power down (long press on power button) the module needs around two minutes before it can boot/start again.
The discharge circuit works and is implemented similarly to the eval board.