- the first arg of FPU_load_int32 is a (s32 *) but I was casting to   a (u32 *) instead.
- the first arg of FPU_load_int32 is a (s32 *) but I was casting to
  a (u32 *) instead.

marmolejo/bochs-zet,marmolejo/bochs-zet,marmolejo/bochs-zet,marmolejo/bochs-zet,marmolejo/bochs-zet