I'm teaching 2 sessions of "College for Kids" - a summer day camp for kids 10-14. I'm doing an intro to programming course. Since there is also a web design/HTML class offered, I decided to teach 'em some PHP. Getting some course notes and examples online, will have all of it up by end of week. I'll PM a username and password, and be happy to answer questions via email (I'll include it in the pm)
CFK PHP stuff
If that doesn't quite scratch his itch, I'd recommend seeing if the laptop will have its hardware working with the latest version of Linux Mint. There is TONS of free development stuff in the linux world, and lots of tutorials/forums/sites dedicated to each language. C/C++/C# will quickly prep him to be able to read the source code of a lot of things, I'd recommend looking at Xonotic since it is a cool game and both Free and free. Python would also be something good to learn, and as much as I don't like it Java.