Merge "ART: Use __ANDROID__ instead of HAVE_ANDROID_OS"