Fixes aarch64 builds

Looks better on secondary arches

Works for me. Tested on Panda-ES, CubieTruck and BeagleBoneBlack

builds on aarch64

works, please push to stable

fixes build on aarch64

The Jetson-tk1 doesn't use opentegra at all. There is currently no DDX driver. The TK1 also isn't 64 bit so it's still completely correct. This also isn't the place to bring up these sorts of discussions.

Fixes the issue on aarch64

fixes composing ppc/aarch64

Looks good in basic client testing

Fixes the double separator issue for me

looks good

looks good to me with basic testing

Works on both x86 and ARMv7

works with basic testing