No.
I believe there is a record that raises a fair inference he was in fact born in Kenya and if so, he is not a US Citizen under any statute or theory I have yet seen or heard.
Well I did not make the comment "of course he is a citizen". But he could still be a naturalized one. His mother being a citizen would give him a leg up on that process.