His diet sucks and he’s likely deficient in some vitamins and minerals. 8k of walking isn’t a big deal; I seriously doubt this is going to be a major problem. He might want to supplement with magnesium or ZMA and see what happens after a week or so. Can you post what he normally eats as well?