Non vorrei che le FPU a 33Mhz stiano cercando di girare a 40Mhz e quella a 40Mhz possa eventualmente avere problemi.
Fai delle verifiche senza FPU nel bios e vedere che impostazioni ci sono eventualmente anche verificando che jumpers ci sono nei dintorni della cpu e della fpu.