[coreboot] Patch merged into coreboot/master: 850fd7a Intel CPUs: Fix counting of CPU cores