I've been looking for this for quite some time now, but it seems nobody knows:
How does the BIOS form the brandstring which can be read from the CPU via the cpuid instructions 0x8000002h-0x80000004h?
It must be programable by the BIOS as I've seen BIOSes omitting the model of the CPU and at least for AMD CPUs there are tech docs available to the public describing how to form the brandstring.
For AMD CPUs it works by reading extended cpuid instructions and selecting a particular string (like "AMD Opteron" or "AMD Athlon") and adding the model number based on information gained from the extended cpuid instructions as well.
So what has to be done in a BIOS to form the brandstring for Intel Core CPUs?
I know the brandstring can be written to the CPU with model-specific registers.
PS: I don't want to know how to read the brandstring from within an operating system, I know this works with the cpuid instruction! I really mean forming the brandstring from scratch.