Хочу закрыть
проблему ноутбука, которую я поднимал ранее. Там, видимо, была проблема в блоке питания - в частности, он не мог полностью зарядить батарею.
После замены БП проблема не воспроизводится, хотя пользую ноутбук теперь я, а не прежний эксплуататор. Старый БП не тестировал, ибо нет необходимости в ловле бсодов :)
