We’re using tha Nvidia Jeston AGX Xavior and are trying to flash it. We’ve managed to write the wrong board number, and want to manually change it to the board number p28880004 in the linux terminal since we have troubles with the SDK manager. What commands should we use and how do we do it?