[coreboot-gerrit] New patch to review for coreboot: f26ce87 tegra132: psci: add cpu_on/off support