[coreboot-gerrit] Patch merged into coreboot/master: 32bc18e nvidia/tegra132: Fix vboot2 memory layout