バグ発見?
今 16.04.2をインスコすると カーネルが 4.8.39が入るが
ここに 4.10.1をインスコし 更に 4.9.13をインスコし
grub-customizerで 4.9.13を最初=一番上に設定しても
リブート後 どうやっても 4.10.1 が起動されてしまう
これは 仕様でしょうか?