[coreboot-gerrit] Patch merged into coreboot/master: 49c3045 ibexpeak: Remove some dead code.