changing DEFAULTTUNE to match one in the Xilinx's layer helped with Kernel...

changing DEFAULTTUNE to match one in the Xilinx's layer helped with Kernel Oops - it set -mfloat-abi from 'softfp' to 'hard'

conf/machine/elphel393.conf

@@ -10,6 +10,7 @@ require include/machine-xilinx-default.inc
 PREFERRED_VERSION_ezynq-u-boot = "v2019.07%"
 PREFERRED_VERSION_linux-xlnx = "4.%"
 PREFERRED_VERSION_php = "5.%"
+#PREFERRED_VERSION_php = "7.%"
 
 # Machine definition known by ezynq and xilinx u-boot
 UBOOT_MACHINE = "elphel393_config"

conf/machine/include/tune-zynq.inc

-DEFAULTTUNE ?= "cortexa9-neon"
+DEFAULTTUNE ?= "cortexa9thf-neon"
 SOC_FAMILY ?= "zynq"
 
+# Available SOC_VARIANT's for zynq:
+# 7zs - Zynq-7000 Single A9 Core
+# 7z  - Zynq-7000 Dual A9 Core
+
+SOC_VARIANT ?= "7z"
+
 require conf/machine/include/tune-cortexa9.inc
 require conf/machine/include/soc-family.inc
 
 # Linux Configuration
 KERNEL_IMAGETYPE ?= "uImage"
+KERNEL_IMAGETYPES += "zImage"
 
 # Set default load address.
 # Override with KERNEL_EXTRA_ARGS_<board> += "..." in machine file if required