設計書どおりのカーネルパラメータが適用されているかを確認します。確認の方法として最も適切なものはどれか。