The Linux kernel (Android is just another flavor of Linux, mostly) is also included here because it may need to be updated ...