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