krb5pac: use autogenerated code for PAC_BUFFER push path.