Here is a quick way to get the kernel details (name, version and release info) for a specific Ubuntu / Linux Mint system :
Open Terminal and type :
uname -s -v -r
This command also comes in handy when wanting to find out the type of processor, hardware and the operating system for a given system. To do that, type :
uname -m -p -i -o