[Ubuntu] Sound driver sometimes crashes when usign load/save state

[beauman]

Under Gamecube emulation with Dolphin, there are some instances where the sound driver seems to crash and burn, especially after saving the current game state. After restarting Dolphin and loading the save state sound support might be functioning.

Settings are: http://slexy.org/view/s2sDDtOm0M

OS: Ubuntu 14.04
Dolphin: compiled from github version 4.0.2
Graphic card: Nvidia GTX770
Sound: HMDI