[coreboot-gerrit] Patch set updated for coreboot: 8e4b3c5 util/ifdtool: cleanup some magic numbers