K 10 svn:author V 3 jhb K 8 svn:date V 27 2003-01-09T19:54:49.000000Z K 7 svn:log V 257 Rework part of the previous processor name changes so that we read cpu_exthigh and cpu_brand in printcpuinfo() instead of in identify_cpu(). We also only do it for known-good values of cpu_vendor which is a bit more conservative. Reviewed by: bde (mostly) END