[Bug 143415] Sound mixing from 32-bit applications seems broken in x86-64