[POWERPC] Fix wraparound problem in smp-tbsync on 32-bit