v4 was the first kernel written in C, and the assembly kernel before that already ran on a PDP-11. I doubt anyone even considered using B for this.
For a while they used improved B versions, what Dennis calls New B, Embryonic C and Neonatal C, regarding the language evolution.