> Best thing would be to print it once per socket, i.e. for the first > core of each physical CPU. > > Oh, and the flags can be subtly different for other CPUs in the > system, even if they are exactly the same model, because the BIOS can > enable/disable some features.
Yes to the first, and the second, also because the repair guy put in a different chip revision in one socket, or anybody else that had their fingers inside the case. Per-socket seems like it would be good.