I have had an 8088-6 chugging along at 4.77mhz in one of my IBM 5150’s for a long time.

From what I can tell 6mhz that parts were made before 1982 but what machines(if any) used the 8088/8087-6 chips at rated speed?

Thanks