mkimage-profiles/features.in/grub/cfg.in/89kernel.cfg

submenu $"Change Kernel Flavour (press F5)" --hotkey 'f5' {
	insmod regexp
	regexp -s 1:kflavours -s 2:kflavourstr '(.*) (.*)' "@KFLAVOUR@"
	menuentry "${kflavourstr}" {
		KFLAVOUR=
		export KFLAVOUR
		configfile ${prefix}/grub.cfg
	}
	for kflavourstr in ${kflavours}; do
		menuentry "${kflavourstr}" {
			KFLAVOUR="-$1"
			export KFLAVOUR
			configfile ${prefix}/grub.cfg
		}
	done
	menuentry $"Return to the Main menu" {
		configfile ${prefix}/grub.cfg
	}
}