Merge "ART: Do not use vixld - workaround to fix dex2oatds."