Just leave the kid alone. He's smart and intelligent.
So all the other nine year old geeks who pursued interests other than "Microsoft Windows 7" with the same fascination and dedication are losers?
I know a couple of seven year old twins with an almost encyclopedic knowledge of mythology. Are they "smart and intelligent", average kids, or idiots?
More than any of us at his age.
What does age have to do with it? Would a eight year old who knew the same kit be smarter or more intelligent? What about a ten year old?
What is the "cutoff" for age being an issue? Will this kid still be worth discussing when he is 13? 19? 30?