[fedora-arm] Re: Finding out which boards are supported