About real time kernel patch

Hi,

I am trying to apply the real-time patches to my Jetson Tx2. I was curious if there are more detailed instructions for help, similar to the ones for the Nano at this post:

specifically, after the compilation, with the Jetson Tx2 I need to flash the board rather than create an SD card.

Thanks,
Ashraf