Hi all. Not sure why but suddenly I stoped having sound after rebooting. Usually I can get it back if I go to terminal and start pulseaudio or killall hildon-desktop, but it is of course annoying to do this after each boot... Anyone has any tips or ideas? Any help is welcome. Cheers, J