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