[coreboot-gerrit] Patch merged into coreboot/master: c7a8c38 cbfstool: fix 32bit host issue