[coreboot-gerrit] Patch set updated for coreboot: 46d3d1c tegra124: fix Kconfig ARCH settings