[coreboot-gerrit] Patch merged into coreboot/master: b4ad5d0 drivers/xgi: Avoid double-free