8034890757
The value we use is still questionable for 440BX chipsets. - When flushing the TLB just toggle the bit in question instead of writing a magic value that could trash other unrelated bits.