Ich hatte vorher den aktuellsten SSpeed Kernel drauf vom 23.10.12. Hab jetzt nicht drauf geachtet ob der sich geändert hat, aber es scheint nicht mehr der SSpeed zu sein den ich drauf hab. Keine Ahnung wo der jetzt liegt, da ja wie du schon sagtest keine boot.img mehr dabei ist.
Vielleicht kann da je jemand anderes was zu sagen.