[coreboot-gerrit] New patch to review for coreboot: 1b71f3d AGESA boards: Drop excessive boot_cpu() use