[coreboot-gerrit] Patch set updated for coreboot: 15d2039 google/rush_ryu: devicetree: Add framebuffer resolution settings