[coreboot-gerrit] New patch to review for coreboot: a6d425d tegra132: rename clock_display() to clock_configure_plld()