[coreboot] New patch to review for coreboot: c40f6dd drop use of MAX_PHYSICAL_CPUS and MAX_CPUS where not needed