It really depends on the application, how much processing power you need, etc. but more options are only a good thing.
Remember that the 'T' in IoT doesn't just mean little things - these guys are talking about devices that monitor large transformers and power distribution equipment (critical electrical infrastructure). It's likely that an IoT device for that would be doing a lot more than, say, a smart meter for a home for which Linux probably would be overkill.