[kernels] small beautification

cfg/kernels.cfg

@@ -23,10 +23,11 @@ if [ "${have_kernel}" != "true" ]; then
         fi
         echo "There are no suitable kernels available"
         if [ "${have64}" == "true" ]; then
+            echo ""
             echo "It appears you are trying to boot a 64bit release on a 32bit machine"
             echo "This cannot work!"
-            echo ""
         fi
+        echo ""
         echo "Press Escape to return to the main menu"
         sleep --interruptible 9999
         menu_reload