[coreboot] Patch merged into coreboot/master: 2485df3 Flatten the tree