A second-hand Thinkpad 11e might be a better option. They are designed from the get go for the education market (looks like some schools buy them in bulk), and are very sturdy. But can be had for pretty cheap on eBay in used condition, and it's just a regular Intel laptop with hardware that's all Linux-compatible.