He needs to mail 1040X because his son filed. So when he tries to file the 1040X with his son as a dependent, the computer will not accept that social security number again.
