TEXAS INSTRUMENTS INC 424B2 May 22, 2025 | Baxion