Just a few years ago it was very important for them to have a computer with the latest version of Office installed on it -- one for every kid in case they both got assignments at the same time -- but the teachers are now largely comfortable with Google Docs or Whatever. That 3-user Office 2010 license is probably my last commercial software purchase ever.
So it seems that the choice of platform is something that the grown ups worry about, but it doesn't affect the kids at all. Their school seems to have gone with Chromebooks.