Ma jött kb. 100MB-nyi frissítés - fél GNOME, pulseaudio, stb. - a probléma úgy tűnik megszűnt. -- trey @ gépház