Add Android platform detection code to platform.linux_distribution().