[coreboot-gerrit] New patch to review for coreboot: 0e63e0c tegra124: fix and fine tune the warm boot code