coreboot-kgpe-d16/src/drivers/ati/ragexl/Config.lb