Well, not exactly. Any distro COULD be used for development and excel at it, but there are a few intresting options out there. I personally use Fedora with KDE, but if you want to take it to a more advanced level, use arch or nixos. If you want to make your OS, use gentoo or linux from scratch, but very niche and not recommended.
That’s a bad move of Google, this has no reason at all!
Chroot/docker will use a more practical way to run Linux, as Android is just a Linux distro, why bother with running a whole another kernel!