Por los datos que indicas (año y capacidad de la disquetera) era si duda un XT; lo raro es la velocidad máxima del turbo, a 12 MHz, ya que las CPU originales 8086/8088 llegaron a 10 MHz. Quizás tuviste un Nec V20 o V30 (mas eficaz que el Intel), aunque también es posible que el display estuviera "trucado", ya que el mecanismo solo recibía información de velocidad baja/velocidad alta, y el ensamblador configuraba el display a su criterio :)