Well you should be able to use Fanoush's kernel flash script and make some menu options to call the kernel flash. Then just reboot to the new kernel. pick the other menu option and boot back. Not the best solution but it would work.