[ernels] support pure 32bit systems

cfg/kernels.cfg

-if cpuid -l; then
-    havekernel="Y"
+for kk in /boot/vmlinu*-*86; do
+if [ "$kk" != "/boot/vmlinu*-*86" ]; then
+    have32="true"
+fi
+done
+if [ "${have32}" != "true" ]; then
+    menuentry --class=find.none "NO SUITABLE KERNELS AVAILABLE" {echo $@  echo "There are no kernels suitable for this machine available."
+        echo ""
+        if cpuid -l; then
+            echo "This machine is NOT 64bit capable."
+            echo ""
+        fi
+        echo "There are no 32bit kernels available"
+        echo "It appears you are trying to boot a 64bit release on a 32bit machine"
+        echo "This cannot work!"
+        echo ""
+        echo "Press Escape to return to the main menu"
+        sleep --interruptible 9999
+        menu_reload
+    }
+else
     title=""
     for kopt in @ARCH@ $kopts  @DEFAULT_ARGS@ @BOOT_ARGS@; do
         if [ -n "$title" ] ; then
@@ -17,24 +36,3 @@ if cpuid -l; then
         initrd /boot/intel_ucode.img /boot/initramfs-@ARCH@.img
     }
 fi
-if [ "${havekernel}" != "Y" ]; then
-    menuentry --class=find.none "NO SUITABLE KERNELS AVAILABLE" {echo $@  echo "There are no kernels suitable for this machine available."
-        echo ""
-        if ! cpuid -l; then
-            echo "This machine is NOT 64bit capable."
-            for kk in /boot/vmlinu*-*86; do
-            if [ "$kk" != "/boot/vmlinu*-*86" ]; then
-                have32="true"
-            fi
-            done
-            if [ "${have32}" != "true" ]; then
-            echo "There are no 32bit kernels available"
-            echo "It appears you are trying to boot a 64bit release on a 32bit machine"
-            echo "This cannot work!"
-            fi
-        fi
-        echo "Press Escape to return to the main menu"
-        sleep --interruptible 9999
-        menu_reload
-    }
-fi