I don't know if it's normal for ADHD, but it's normal for a 10 year old.

He's on the cusp of being an adolescent, and once their hormones start to quick in, he will naturally need less sleep during the night and feel more sleepier during the day, because they start to need less sleep.

I wonder if he could do with going to bed slightly later and see if that will help.