Это было в новостях (1) (2) , но не было никакого технического объяснения, кроме того, что это программная ошибка в чипе.
Есть ли дополнительная информация о том, что это за ошибка? Одноразовая ошибка, какая-то проблема с преобразованием чисел или ...?
РЕДАКТИРОВАТЬ: Очевидно, что ошибку можно обойти, изменив программное обеспечение Terminal '. Мне было бы приятно узнать, как это делается.