[coreboot-gerrit] Patch merged into coreboot/master: de8c780 Build system: Fix "dd: invalid number `0x800000'"