[coreboot-gerrit] New patch to review for coreboot: 5ad88aa arch/arm64: provide boot_cpu()