Intel ha anunciado oficialmente que ha recibido una ayuda de 3.000 millones de dólares del Departamento de Defensa de Estados Unidos.