Probably a little bit expensive, but I was thinking to my oldest buy when times comes RaspberryPi laptop kit. You can always assemble it together and then maybe teach him how to install linux and etc...