[coreboot-gerrit] Patch set updated for coreboot: util/abuild/abuild: Fix a few abuild errors