How Much Linux Is in Android?

A lot, I hope.

Why did they even bother? Just port OpenBSD or somesuch to the hardware.