Should we be using 64bit version of Trusty vs 32 bit? Is there a reason for using 32bit? I don't think Hexagon SDK runs on 32 bit for instance.