Does anyone have sound working on an HP DC7800 (x86-64)? If so, was any modprobe trickery needed? - Mike