So sorry Emma, RIP Noel.
As you had the year of birth for Joseph King 1928. Mothers maiden name was Kiely, no it wasn't, when I look for a marriage it was Keilly. Joseph was born in Thurles.
Then I looked for a King and Keilly marriage and got this...............
see attached.
Ok
Use this site births up to 1958 n Ireland. All mothers maiden names are not listed most show after 1925. But some do show from 1890 to 1922.
https://www.familysearch.org/en/
The next thing I would do is go to this site follow the links to obtaining the marriage of Joseph King and Margaret. It is 5 Euro about £4.65 + or - a few pence. Takes less than 6 weeks.
Irish Genealogy - Explore your Family History
Or if you have the birth cert of Noel you wouldn't need the Marriage.
Once you are sure of Margaret's maiden name you can then get more information.
Ok
Cheers Margot