[coreboot-gerrit] Patch set updated for coreboot: 3a5b36d Build system: Fix "dd: invalid number `0x800000'"