I upgraded from F25 to F27 a while ago and everything seems good except
at boot up the rescue kernel is still showing F25. The other three
kernels are all F27 versions.
What's the proper way to get an appropriate F27 rescue kernel instead of
an F25 rescue kernel ?