[coreboot-gerrit] Patch merged into coreboot/master: d79377e tegra132: remove bring_up_secondary_cpu chip option