IBM PS2 Model 80 80386 DX16 + 387 Model 8580-071