[kernels] simplify it

cfg/kernels.cfg

 for kk in /boot/vmlinu*-*86; do
 if [ "$kk" != "/boot/vmlinu*-*86" ]; then
     have32="true"
+    have_kernel="true"
 fi
 done
 for kk in /boot/vmlinu*-*64; do
 if [ "$kk" != "/boot/vmlinu*-*64" ]; then
     have64="true"
+    have_kernel="true"
 fi
 done
 if cpuid -l; then
@@ -29,7 +31,7 @@ if ( [ "${have32}" != "true" ] && [ "${32bit_CPU} == "true" ] ) || ( [ "${have64
         menu_reload
     }
 fi
-if [ "${have32}" == "true" ] || if [ "${have64}" == "true" ]; then
+if [ "${have_kernel}" == "true" ]; then
     title=""
     for kopt in @ARCH@ $kopts  @DEFAULT_ARGS@ @BOOT_ARGS@; do
         if [ -n "$title" ] ; then