[coreboot-gerrit] New patch to review for coreboot: arch/arm64: Avoid race condition when building bl31