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