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