[coreboot-gerrit] Patch set updated for coreboot: 277fb2f mainboard: Kill off dead usage of ATi/RageXL driver