[fedora-arm] Hardware list - Re: Fedora 20 for Raspberry Pi????