M.A.
I agree that he probably needs more time to wake up in the morning and also suggest a 6:00 or so wake up time. He's probably just slow at waking up ( I can relate!). 7 to 6 should be enough sleep for him. That's what time my kids (4 and 2) go to bed and wake up. This would also give him time to get hungry if he gets ready first and eats last.
He might need naps on the weekend or a couple times a week too, if you can get him to do that. I know that school wears my daughter out and she occasionally needs a nap.