Re: [linux-audio-user] Which kernel for low latency