You are correct. Check in with US passport in the US, go through immigration in the UK with the UK passport. The airlines have nothing to do with it once he's checked in. The airline is only involved when he leaves, then immigration needs to see his passport when he enters the UK.