[kernels] another try to fix 32bit/64bit boot

cfg/kernels.cfg

@@ -3,6 +3,11 @@ if [ "$kk" != "/boot/vmlinu*-*86" ]; then
     have32="true"
 fi
 done
+for kk in /boot/vmlinu*-*64; do
+if [ "$kk" != "/boot/vmlinu*-*64" ]; then
+    have64="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 ""
@@ -11,14 +16,17 @@ if [ "${have32}" != "true" ]; then
             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 ""
+        if [ "${have64}" == "true" ]; then
+            echo "It appears you are trying to boot a 64bit release on a 32bit machine"
+            echo "This cannot work!"
+            echo ""
+        fi
         echo "Press Escape to return to the main menu"
         sleep --interruptible 9999
         menu_reload
     }
-else
+fi
+if [ "${have32}" == "true" ] || if [ "${have64}" == "true" ]; then
     title=""
     for kopt in @ARCH@ $kopts  @DEFAULT_ARGS@ @BOOT_ARGS@; do
         if [ -n "$title" ] ; then