Guide on how to customize you pwm fan curve

Hmm, the fan control driver should be in the kernel. Did you connect the fan to the proper port?
Also the default curve is just bad, use this one: [Guide] How to make the Rock 5b fan work properly - Joshua Riek's Ubuntu 24.04

Some additional information:
in property pwms = <&pwm1 0 10000 0>;, the first number is the pwm channel in this device, second number is pwm period(1/pwm frequency), the third number is pwm polarity.

Do I just need to modify the values in pwm-fan.dts and rerun sudo armbian-add-overlay pwm-fan.dts to change the fan curve once we’ve already set it once?

Yes. Reboot then you will run with new fan curve.