target-ppc: fix compilation with CONFIG_SOFTFLOAT