En teoría con la instalación de cualquier Stock Samsung y el PIT debería bastarte, ya que aunque sea un solo archivo, ya incluye esos archivos de serie.
Si quieres una Custom 2.3.5 para ODIN pc, hay una que comento otro compañero en este mismo apartado.