Patch device tree to set a GPIO pin to LOW at kernel start

OK, good to be able to set/clear some gpios at U-boot level.
One secondary question: why one cannot set GPIO1_9 with U-boot? It is not configured as gpio in U-boot?

Anyway I want to have it set to high during kernel loading and I can have it low during U-boot.
I have to patch the kernel device tree… and I don’t know how to do.
Can you provide a complete tutorial? (as Lucas did in the post Patch device Tree to disable PCIe).
I mean that I’m not able to identify the .bb where that gpio is set as part of pwm1 pins. Then, reproducing something similar to the tutorial of Lucas, I suppose I can set it high creating a custom .bbappend.

I’ve seen already, but a question: this is not the PWM4 shared pin? I have to use PWM1 pin

Hope in your help,
best regards,
Pipe