アップデート

カーネルのアップデート。再起動するかどうか迷う。
やっと立ち上げたばかりなのに。帰りにやる方がいいかも。