raspi-config’s overlay controls does nothing on our boards.
You have to do software bit-bang PWM with pwm-gpio driver for pin 8. This will use the CPU to flip the GPIO to generate the PWM waveforms. The timing is not perfect and it uses CPU cycles but for fan control, it is sufficient.