カーネルバージョン3.10なので、nvmeから起動してもそのままドライバーが読み込まれるはずらしいのだが、今度はちゃんと調べよう。昨日は夕方から初めて長引きそうだったので、諦めて元のディスクに戻した。