target/ppc: avoid int32 multiply overflow in int_helper.c