サポートに連絡したところ、初期化を指示され、それでも症状が再現するので、修理ということになりました。
ちなみに、メーカー側では症状は起こらない、といっています。