[PATCH 6.12 142/422] binfmt_flat: Fix integer overflow bug on 32 bit systems