[coreboot-gerrit] Patch set updated for coreboot: eb3f537 drivers/ati/ragexl: Kill off dead driver