[coreboot-gerrit] [S] Change in coreboot[master]: intel/i82371eb,speedstep: Use dev_count_cpu()