Or, if you're handy with repositories and have a Linux system handy, just extract the proper kernel from the package in the new repo and flash it directly. Should work, in theory. Also, if you used backupmenu, since the kernel didn't change, you could in fact just do a restore. The one thing backupmenu doesn't do is backup/restore the kernel used by the system as part of the backup. But if that hasn't changed, you should be golden in just doing a restore from the image made before you tried the install. (You did do a backup right before that, didn't you? )