[fedora-arm] Re: F23 aarch64 support for HiKey and Dragonboard?