Primero sube de cid para poder utilzar firmwares cid52 (te recomiendo xs++ es mucho mas facil), despues te respondo que para utilzar la nueva vercion de k800 no esta disponible en español te recomiendo que utilses el r8ba024 aparte que encontraras mas parches para este firmware
puedes utilzar los primeros que mencionaste
Downloads - R8BA024_RED52 - K800_R8BA024_MAIN_GENERIC_WI_RED52 - Top Sony
Downloads - R8BA024_RED52 - K800_R8BA024_FS_EUROPE_1_RED52 - Top Sony
mas un cda generico o de tu compañia (recomiendo el de compañia por configuraciones y ajustes esto no afecta) realiza siempre un respaldo de tu gdfs por si algo sale mal suerte compañero y bienvenido