Dear all,
Just wanted to share this really cool info:
https://archlinuxarm.org/platforms/armv8/qualcomm/dragonboard-410c
db410c has become an ARM Archlinux supported platform!
They use mainline kernel + uboot and rely on the Linaro/QCOM bootloader for the boot.
cheers