Comment 9 for bug 1166529

It may be coincidence, but both of you have onboard or HDMI audio devices that force disabling of MSI (message signaled interrupts)

@Paulo: I would try disabling the hdmi audio:
sudo echo "blacklist snd-hda-codec-hdmi" > /etc/modprobe.d/blacklist-hdmi.conf
sudo depmod -a

See if sound works after rebooting