Ok, I'm a noob at this in some cases but am learning. Yesterday I flashed a deprimed kernel under CM7 using kernel manager lite on my OG Droid. After doing this I wondered what I would have to do if I needed to restore my original kernel. Like a noob, I didn't make a nandroid backup before doing this. Is this the step I should have taken if I wanted to restore my stock kernel? Or what do I do in that case? Thanks again for the help!