you didnt have to reinstall from a bad kernel.
you could of just used a live cd and chroot your hard drive. then you could use your src or the cdroms to recompile.
i had to do that a couple of times when i was fighting with gentoo. no real safe-mode in linux(single user doesnt count!!!).