SeRi, just where is that [1] bin file? It's not on the official download site. (Yet?)
Or are you talking about just reflashing the ptached kernel?