If DF had an eigth option on the DF boot/logo screen that is "boot to kernel.old", it would come in handy.