[coreboot] Patch merged into coreboot/master: 813532b chromeos: Fix compilation of coreboot-utils package