関連ワード:  arch linux grub set default kernel    how to change default kernel in grub  
結果 : arch linux grub set default kernel