関連ワード:  linux grubby set default kernel    grubby get default kernel    how to set default kernel in ubuntu  
結果 : linux grubby set default kernel