Ich habe noch mal nachgeschaut: Der K6-2+ ist noch ein sehr kühler Prozessor (18,6W @550MHz bei Volllast). Immerhin kamen die Sockel-7-CPU-Kühler aus dieser Zeit oft mit dem K6-2 zurecht (25W).
Daher dürfte der kleinste 80mm-Papst reichen, den Du z.B. bei PC-Cooling findest. Natürlich mit Tacho-Signalausgang und Molex-Stecker (z.B. 8412 N/2 GLLE). Wenn Du Skrupel hast, kannst Du ja den immer noch leisen 8412 N/2 GLE nehmen. Inwieweit das DFI-Board auf eine Mindestdrehzahl des CPU-Lüfters im BIOS angewiesen ist bzw. die Drehzahl überhaupt überwacht, habe ich leider nicht im Hinterkopf.