diff --git a/src/02_build_kernel.sh b/src/02_build_kernel.sh
index 488bc5f3c..7d2dcaa12 100755
--- a/src/02_build_kernel.sh
+++ b/src/02_build_kernel.sh
@@ -82,7 +82,7 @@ else
   # The '$?' variable holds the exit code of the last issued command.
   if [ $? = 1 ] ; then
     # Enable the mixed EFI mode when building 64-bit kernel.
-    echo "CONFIG_EFI_MIXED=y" > .config
+    echo "CONFIG_EFI_MIXED=y" >> .config
   fi
 fi