[coreboot-gerrit] New patch to review for coreboot: 257e90a ibrexpeak: Remove some dead code.