Rename option krb5 to kerberos to be in sync with other packages.