Tested on ppc64 and s390x platforms and the patch fixes the issue.
Verified with krb5-1.13.1 and also backported to krb5-1.12.2, where it
fixed the issue too.