Less usual suggestion: it sounds like there's plenty going on. Have him mentor junior developers. Ask him to go and survey the office to find out what people's coding pain points are, then see if he can smooth them over.
(This works better if he's older, if he's in his 20s and bored then you should already start looking for his replacement)