Intel y ARM insistieron en que el problema no era un defecto de diseño, sino que requerirá que los usuarios descargasen un parche y actualizasen su sistema operativo para solucionarlo