[coreboot-gerrit] Patch set updated for coreboot: arm64: fix cpu_set_bsp() error