linuxカーネルってこんなに小さいの？