An x86_64 board + third-party arm64 to x86_64 binary translator. Test: none Change-Id: I15c6249be8fc7f3e716213c9a3fe6b0fe9563d1c