ci: Build Android drivers using the NDK
Here's this week's little project: Build Android drivers in CI using the real Android NDK. I'm hoping I'll be able to leverage this build to actually run these drivers later, but for now this gets us closer to representative coverage in CI.
Depends on !6697 (closed), please review those commits there.