So I noticed that the Cortex-A53 cluster is disabled in Jetson TX1, or at least it's not mentioned in any of the material for it. AFAIK this was also the case with Shield TV. But with Shield TV it wasn't a big deal since it was always going to be in a big wall powered and well cooled box. The TX1 module, on the other hand, could have realistically been placed in a small battery powered custom mobile device given its modest form factor.
Is there any device out there that does enable the A53s on a Tegra X1? Is it possible that it's just flat out broken or somehow compromised to the point where it'd may as well be?