After many hours to testing, we found that the Hardware Watchdog Timermodule causes our motherboard's BIOS CPU fan control to stopcontrolling the fan. On Linux bootup, the fan speed stays constant allthe time.