US finalizes up to $6.35 billion in chips awards for Samsung Electronics, Texas Instruments