Update versions of kernel in config