hi, the kernel has to be an arm64 kernel. we do not support running 32 bit kernel on DB410c (e.g. APQ8016). So you can use the standard instructions to build the arm64 kernel.
On top of the arm64 kernel, you can run any 32 bit user space, such as an armhf Ubuntu rootfs.