Does this board boot Linux via a device tree, or have hardware discovery?
How about UEFI vs arm-specific bootloaders?
I tried arm32 Linux a few years back, and the largest hindrance at the time was the device trees and non-UEFI boot process. Given up on exploring the platform further (except maybe for SBC like raspberry pi) until that situation improves.