[fedora-arm] Raspberry Pi Boot Selection