kernelは起動で選べるから問題ナス。