If you are using the devkit, you can use Jetson-IO tool to enable some functions which is to configure the pinmux register. But if you want to control the pin(use it as GPIO output), you have to reflash the board to apply the change.
Yes, you can modify those dtsi manually if you are familiar with them.
If not, we would suggest using pinmux spreadsheet.