> but for the hobbyist it makes no difference if the processor on the Arduino is an Atmel or an ARM.

I don't think anyone was arguing they cared about Atmel vs ARM. In fact, the point of Arduino is to make that not even something a user would need to know.

The argument is Linux vs Bare metal Arduino are vastly different user experiences and complexities.