Penta HAT, top fan won't work

ROCK 4 Series Troubleshooting
9

I uploaded the new dtb and it enabled PWM and I2C:

https://rock.sh/rockpi-penta-dtbo