Suggest -fprint-explicit-kinds when only kind variables are ambiguous

This was triggered by looking at Trac #9171. See
Note [Suggest -fprint-explicit-kinds] in TcErrors