patch for pentium IV workaround

Original text of this message