The Boot Order of the Raspberry Pi Is Unusual