target/ppc: fix cpu_ov setting for 32-bit