[linux-audio-user] Which kernel for low latency?