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