Set the kernel version correctly inthe installed version file