How to install android-platform-system-core-headers on Debian 9 (Stretch)