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