[coreboot] New patch to review for coreboot: c8584ce Make the device tree available in the rom stage