Android relies on which Linux version for core system services such as security, memory management, process management, network stack, and driver model?