fix kernel version