VeriLocc: End-to-End Cross-Architecture Register Allocation via LLM