fixed call of get_kernel_version