Pues eso no es nromal, contacta al servicio al cliente de samsung por telefono o email. Quiza sea un problema solucionable por actu8alizacion del firmware, lo cual puedes hacer tu mismo.
Al parecer es problema en la decodificacion del audio, ya sea porque esta lleno el buffer [una memoria intermedia] de audio con los datos de sonido de la otra fuente de video [hdmi o AV] que venias usando, y tiene que vaciarla antes de poder 'tomar' los datos de la fuente de video actual [el TDT integrado] con lo que hay ese retraso en la reproduccion del audio, o bien, es un problema del decodificador que tarda 'en darse cuenta' de que fuente debe tomar los datos ahora, o incluso tarda en darse cuenta que formato de audio es [si dolby digital o pcm]
