[coreboot] Patch merged into coreboot/master: 9aaf7d1 Fix broken scan-build