カーネルチームによりカスタムメイド作製されたものです。リリースする前に、カーネルは厳格な品質保証テスト群をパスしなければなりません。パッケージマネージャを使用して簡単にアップグレードも検証もできます。サーバーにクエリを出して、カーネルパッケージを含む利用可能な更新があるパッケージをお知らせします。パッケージマネージャを使用して新しいカーネルをインストールして下さい。他の方法で現行バージョンを入れ替えると(失敗した場合)システムが起動できなくなる可能性が出てきます。チームではサポートされていません。そのため、このマニュアルではその記述もありません。