Get kernel version numbers