うむ、最近の実用レベルOSは、カーネル更新した後リブートしなくても自然に置き換わるからな。