AI boom still running hot as SK Hynix says its already sold majority of its 2025 allotment of high-bandwidth memory chips