Update version of kernel in config