of just printing "Pentium Pro", check the model (cpu_id & 0xf0) and print the appropriate information.