Jetson AGX H01 Device Tree & Kernel Sources

Hi all,

I am following the instructions here Jetson Xavier AGX H01 | Seeed Studio Wiki

However I am in the need of modifying the Kernel and the Device Tree, so I was expecting to find the sources or patches to the H01 kit, however I only found the compiled kernel Image and the compiled Device Tree, so I am unable to work on top of SeeedStudio changes.

Any pointer on where to get these files / patches? Thank you