Most Android games could be easily ported to GNU/Linux, that just doesn't happen because studios don't see any commercial value in doing so, versus the development costs of supporting yet another platform.
ISO C, ISO C++, OpenGL/Vulkan, OpenMAX and OpenSL ES are certainly available on GNU/Linux.
https://developer.android.com/ndk/guides/stable_apis
Just as Cocos-2dx, Unreal and Unity are, the main engines used on Android games.
However, having 2% of users responsible for 50% of support requests + extra development effort, is what puts GNU/Linux off their plans.
If you're referring to [1], you might be interested in reading [2] as well.