In the meantime, I ordered a Heat sink with fan for Odroid XU-4 - blue for each of my two VF2s and they were delivered within four days. And Botland sells cheaper and without penalty fee. I have combined the heat sinks with one NF-A4x10 5V PWM each, which I am still controlling with an Adafruit EMC2101 I2C PC Fan Controller on a Raspberry Pico W for the time being.
But I want to try if I can control the PWM fan directly on GPIO46 using Kernel driver pwm-fan.
VisionFive 2 40-Pin GPIO Header User Guide
Intel spec for 4-Wire PWM Controlled Fans
I would like to warn you not to connect normal 5V fans with two pins directly to a CPU, only real PWM fans with separate power supply and PWM control input may be used!