krb5: Remove leftover manual patching