PulseAudio: use 16-bits PCM if FPU is missing