次回どのカーネルを用いて起動するのかを，rebootする前に指定する． もちろんマシンが手元にあれば手で選ぶこともできるけど，これだとリモートからでもいける． インストールされているカーネルのリストを取得 まず何がインストールされているか調べる． …