If a .iso is provided, I can't see why flashing a custom "Helm iso" is any different from flashing the default "Raspberry Pi iso", and there are a lot of people who can flash the raspbian -- there have been 5 - 10 million raspberry pi's sold so far. So, I think there are a lot of people who can use the Raspberry Pi.