[coreboot-gerrit] Change in coreboot[4.11_branch]: [BACKPORT] arch/x86: SMBIOS: Improve core count reporting