[coreboot] New patch to review for coreboot: 9e92ed6 Fix broken scan-build