Top level cmake: fix krb5 cmake module name capitalization.