Собственно вот и весь вопрос. Принесли системник на ремонт. Перестали запускаться любые 32х битные программы. 64х битные работают нормально. Я понимаю, что вышел из строя эмулятор 32х битных программ, но как его переустановить? Как отдельная служба его нет, похоже что он часть ядра ОС.