[coreboot-gerrit] New patch to review for coreboot: 4fdc3fa mainboard: Kill off dead usage of ATi/RageXL driver