Edit kernel version in defconfig comment