[coreboot-gerrit] Patch merged into coreboot/master: 072e0cc rush_ryu: Add new mainboard