The T2080QDS is not booting anymore. U-Boot doesn't show up on the serial connection. I'm using a dummy terminal to connect to the board using 115200 as the baud rate. We have another T2080QDS board that actually boots up, so it is that specific board giving us trouble. The board used to connect previously so we're not sure what happened. We were trying to make it boot from a SD card (with the same process as the other one, and the other one works) so we are afraid that has messed something up. Is there a way to make the board boot U-Boot again? Thanks!