Joy,

The UK National Archives has the service records of soldiers discharged in this period. There are quite a few John Kennedy's from Ireland but you may be able to find your man by his date of birth and age at discharge.