so...if I read your patch, and the intel manual properly -
CPUID.4:EAX[31:26] + 1 is the number of cores...
...
# '4:eax=0x3,ebx=0x0,ecx=0x0,edx=0x0',
# '0x80000000:eax=0x3,ebx=0x0,ecx=0x0,edx=0x0']
...
This would set the EAX of leaf 4 to 3 - indicating a dual core
processor?
Am I understanding that config file correctly?