[fedora-arm] Re: Booting Fedora 25 from USB attached disk on Raspberry Pi