[coreboot] Patch merged into coreboot/master: 1efff26 Fix warnings in coreboot utilities.