IBM PS2 Model 80 80386 DX25 + 387 Model 8580-A31