Every time you see a SoC just check if Armbian supports it. This is the case here https://www.armbian.com/odroid-hc4/, and if there is Armbian for it you can just use the Armbian sources to build the kernel for any other distro with ARM support. Including Archlinux ARM, NixOS and so on. Once you know enough about u-boot it's very easy to run any distro provided you have a kernel for it.