FWIW, I'm playing blu-ray stuff just fine on Gentoo Linux using VLC, with booming HDMI sound.