Update kernel's version in config