[coreboot-gerrit] Patch set updated for coreboot: af22e2d ibrexpeak: Remove some dead code.