[coreboot] Patch set updated for coreboot: 866b519 Make the device tree available in the rom stage