x86/entry/ia32: Ensure s32 is sign extended to s64