diff --git a/config.cmake b/config.cmake
index 84461d21d..7ba040ab9 100644
--- a/config.cmake
+++ b/config.cmake
@@ -406,11 +406,11 @@ config_choice(
     KernelOptimisation
     KERNEL_OPT_LEVEL
     "Select the kernel optimisation level"
-    "-O2;KerenlOptimisationO2;KERNEL_OPT_LEVEL_O2"
-    "-Os;KerenlOptimisationOS;KERNEL_OPT_LEVEL_OS"
-    "-O0;KerenlOptimisationO0;KERNEL_OPT_LEVEL_O0"
-    "-O1;KerenlOptimisationO1;KERNEL_OPT_LEVEL_O1"
-    "-O3;KerenlOptimisationO3;KERNEL_OPT_LEVEL_O3"
+    "-O2;KernelOptimisationO2;KERNEL_OPT_LEVEL_O2"
+    "-Os;KernelOptimisationOS;KERNEL_OPT_LEVEL_OS"
+    "-O0;KernelOptimisationO0;KERNEL_OPT_LEVEL_O0"
+    "-O1;KernelOptimisationO1;KERNEL_OPT_LEVEL_O1"
+    "-O3;KernelOptimisationO3;KERNEL_OPT_LEVEL_O3"
 )
 
 config_option(