packaging: fix kernel version