Nationalité française ?

Bonjour,
mon ami est de mère française et de père anglais. Il est né à Londres.
L'embêtant c'est que sur son acte de naissance son père a marqué "né au kenya" dans "nationalité du père". Son père est effectivement né au kenya, mais n'a aucun sang kenyan... Il est de nationalité anglaise, mais comme il a disparu, il n'y a que l'écrit qui prime.
Je n'ai pas les détails, mais avant sa majorité, il a reçu un papier lui indiquant qu'à ses 18 ans, il serait extradé au kenya.
Il a aujourd'hui 29 ans, et n'a pas réentendu parler de ça, mais n'a pas de carte d'identité, ni de nationalité officielle...
Ma question est :
Etant né de mère française, ne devrait-il pas officiellement avoir la nationalité française ?
Et également... moi, je suis française. Comme on est ensemble depuis un bon moment, on pense au mariage. Est-ce que ça lui donnerait la nationalité française ?

La peur étant que, maintenant qu'il est majeur, si on remue un peu les papiers, il soit extradé au kenya, et que ce ne soit pas seulement une menace...

merci de votre réponse.