[coreboot-gerrit] New patch to review for coreboot: arm64: fix cpu_set_bsp() error