Fix previous revision for case of 32-bit Intel
- NOTE: While I believe this fixes the bug in the previous revision,
        it appears that revisions 2520, 2510 and maybe earlier were
        also failing for 32-bit Intel.  That bug still has to be fixed.


git-svn-id: svn://svn.code.sf.net/p/dmtcp/code/trunk@2525 ba6dc0ae-232f-0410-883f-9ebac64fc565