Change in coreboot[master]: arch/x86: SMBIOS: Improve core count reporting

[Werner Zeh (Code Review)]

Werner Zeh has posted comments on this change. ( https://review.coreboot.org/c/coreboot/+/36941 )

Change subject: arch/x86: SMBIOS: Improve core count reporting
......................................................................

Patch Set 2: Code-Review+2

(1 comment)

https://review.coreboot.org/c/coreboot/+/36941/2/src/arch/x86/smbios.c 
File src/arch/x86/smbios.c:

https://review.coreboot.org/c/coreboot/+/36941/2/src/arch/x86/smbios.c@677 
PS2, Line 677: 		t->core_count = (res.ebx >> 16) & 0xff;
> we can't. […]

I was talking about the runtime extended devicetree where after MP init you will have the real number of CPU cores currently available. That should reflect your variations. But never mind, I am fine with this approach as well.