Couldn't you place both kernels in /boot with different names and leverage grub to load the approriate one?

Reply via email to