En la página de Samsung, al menos para la k6000 sigue puesto el 1230.5, y yo hasta que no lo suban ahí no me fio de bajarlo de otro sitio. De todas formas, como preguntan otros compañeros, no sabemos para que modelo es.
Yo lo tengo instalado. Tengo una ue55ks8000T
[ATTACH=CONFIG]24576[/ATTACH