[PATCH 6.13 157/443] binfmt_flat: Fix integer overflow bug on 32 bit systems