How do I find out my Linux kernel version? How can I find the kernel version at shell prompt on Linux?