[coreboot] Patch merged into coreboot/master: 5a56dc0 Add a helper function to determine the number of enabled CPUs