[coreboot-gerrit] New patch to review for coreboot: Allow Tegra210 to use ARCH_ARM64_CPU_CORTEX_A57