Tengo que reconocer que la ayuda llega tarde, me estaba poniendo nervioso viendo el movil ahi así que lo desconecté a las bravas y me apareció el simbolito del movil+exclamación+pc. De perdidos al rio, le quité y volví a poner la batería, y arrancó en download (menos mal). Reinicié el ordenador y pasé por Odin (esta vez la 1.7, que ya la habia usado antes) el kernel de semaphore.
Todo correcto, ahora vuelvo a tener el móvil en marcha. En cualquier caso, ¡muchas gracias por la ayuda!