[coreboot] Patch set updated for coreboot: 1ee46f4 Show the device tree.