CentOS 7でカーネルをビルドする機会があったので、デフォルトのカーネルを変更する方法をメモしておきます。テキストエディタでgrub.cfgを編集するものだとすっかり思い込んでたのでしばらくgr…