Hmm, screwed mine up somehow. I updated and it couldn't boot (no big deal right?) I booted into normal and went thru the wiki and still couldn't get the new bootmenu to update. Currently I'm stuck with the stock kernel. Any suggestions?