Chances are you don't have to spend hours cleaning up an used laptop. 15 minutes should be sufficient to get rid of dust and upgrade memory of an old Thinkpad for example.

I agree about the open source part though, Raspberry Pi is a good fit for teaching purposes.