[ref/kernel] correction kernal -> kernel

html/kernel.html

@@ -165,7 +165,7 @@ title: Kernel & Plugins - Frama-C
           case the special status ‘inconsistent’ is computed.”</p>
 
           <div class="aboutKernel">
-            <h2 class="subTitle">Some articles about kernal sections</h2>
+            <h2 class="subTitle">Some articles about kernel sections</h2>
 
             <div class="kernelSwiper swiper-container">
               <div class="swiper-wrapper">