kconfig: replace KERNELVERSION usage by the mainmenu's prompt