[coreboot-gerrit] Patch set updated for coreboot: 5bf8620 tegra124: Switch the bootblock over the ARMv4 impelementation.