[linux-audio-user] Patching the kernel - question