Fix for incorrect kernel version reference