RFC 4120 has always allowed a KDC to return a referral to a different realm than the one requested by the client.