Remove Android Craft settings that are meanwhile the default

Also, remove the 32bit x86 configuration that no longer is in use.

This helps with reducing the difference between the cache configuration and local defaults.