That is not booting a linux-kernel at all. it is just using the existing kernel which Android is based on (also Linux).