configure: also switch ppc64abi32 and ppcemb to CONFIG_SOFTFLOAT