[coreboot-gerrit] Patch set updated for coreboot: c7da88b tegra124: fix and fine tune the warm boot code