Ok, a pulseaudio --kill pulseaudio --start works if the rmmod/modprobe thing was done on a freshly started system (when internal sound worked), but it is NOT usable to get the internal sound running again if the system was on standby.