[linux-audio-user] x86_64 and ingo's realtime patches, works?