[linux-audio-user] AMD64 question