Ciao, non sono un esperto però seguendo le operazioni elencate qui sotto (reperibili per altro in prima pagina della discussione) ho sostituito più di qualche volta i diversi kernel senza problemi...
PS: prima di tutto scarica lo "script" e mettilo nel device, poi "recovery". ^_^