fix #7694, better warning for ccall with mismatched Ptr type

also adjust wording of a FAQ entry