Does the AT&T 6386 suffer from the 80386 + 80387 + paging bug?

[Prentiss Riddle]

According to discussion I've seen on the net, the current release of
the 80386 chip contains a bug which can cause a machine to crash when it
is paging and doing floating point operations on an 80387 math
co-processor.  Some vendors of '386 boxes have come up with hardware
fixes to get around this problem. 

Does anyone know what the status of the AT&T 6386 is in relation to
this matter?  Our local tech people haven't been able to find any
reference to the problem, which may mean either that AT&T found and
fixed it early on, or that AT&T still hasn't dealt with it.  Since
we're in the process of buying a 6386 with a '387, we'd like to
know... 

Please reply by mail and I will summarize. 

-- Prentiss Riddle ("Aprendiz de todo, maestro de nada.")
-- Opinions expressed are not necessarily those of my employer.
-- riddle%woton.uucp at cs.utexas.edu  uunet!ut-sally!cs.utexas.edu!woton!riddle