List of supported boards for non-x86 (RPi0, RPi3+, etc)
If it just a matter of listing boards, the list of u-boot packages is a good start.