I OCed my n900 using Bakuur's overclocking guide. When I want to restore the stock kernel using the desinstall kernel icon in the menu, it gives an error saying "could not install nokia kernel".

Thanks