Since pulseaudio defaults to software mixing, this huge buffer would just get gradually copied to the actual kernel playback buffer one 25ms chunk at a time..

I believe even Debian defaults to PipeWire instead of PulseAudio, so I doubt there are many systems left using PA.