どうやら個体の問題のようだ。しかしこんなマシンにもIntelのPXEブートが使われているとは。そして多分プラットフォームはx86だと思う。んで、ディスク交換のコストを減らすためにPXEにしたんでは無いだろうか。