s4-krb5: be a bit less verbose about krb5 packets