[linux-audio-user] Academic question about AMD64 and audio