LibreELEC for Khadas EDGE (RK3399)

Hi

Anyone can help with integrating the fan support?
I see the dts already has the fan support but LE kernel doesn’t have the following fan patch

If I just add the above patch, will the fan work in LE?
Must an autostart script also be added and kernel config - CONFIG_SENSORS_PWM_FAN=y changed?
I want the fan to turn on automatically and run on low setting since playing 1080p Netflix software decoded makes the device extremely hot and it shuts down sometimes.

I see the RockPro64 has a different smaller fan patch, will the pwm-fan.patch work too for Khadas Edge-V or not?