Fix kernel version package substitution