He just needs to go to his Bishop and be honest. Also was thinking, when I was 9 and got baptized, I had never repented before. I was a kid and wasn't really paying attention to the fine print
My baptism is still valid. Of course, this is different than if I'd been smoking before baptism and had no intention of quitting and then continued afterward. Either way though, the baptism happened.