strcpy(cpu_model, "Motorola M88K");
cpuspeed = getcpuspeed(); sprintf(cpu_model, "Motorola MVME%x %dMhz", cputyp, cpuspeed);
identifycpu(){	/* XXX -take this one out. It can be done in m187_bootstrap() */	strcpy(cpu_model, "Motorola M88K");	printf("\nModel: %s\n", cpu_model);}