edit init.deb.rc for bricked kernel

Change-Id: I5f8f2df419dedbe75fc804a1a93f1e4fa772f131