Update kernel versions in config