substitute files in from https://android.googlesource.com/platform/art/+/9bba2b608cf1989b722c565100d509c2fb2a6fa7/src/ and hack at other armv6 substitutions for armv7