[coreboot-gerrit] Change in ...coreboot[master]: soc/nvidia/tegra{124,210}: Use 'halt()' already defined in <halt.h>