[coreboot] Patch merged into coreboot/master: c2c9723 Show the device tree.