I just updated to hal 0.5.13-3 and after rebooting the soundcard is not accessible to non-root users anymore, so there is no sound. Any idea how to solve this? Thanks