I would ask him if this bothers him enough to talk to a doctor about it, and let him decide. If it's not a big concern for him and doesn't interfere with his functioning, then I wouldn't worry about it. I just wanted to put my two cents in that it doesn't seem normal to me, and it doesn't sound like ADHD (since you asked...)