[coreboot-gerrit] Patch set updated for coreboot: 1c75961 tegra132: rename clock_display() to clock_configure_plld()