Bu Android işletim sistemi hangi kerneli kullanmakta? (GNU/Linux, FreeBSD vb)