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