Hi Sean,
The new TX1 you got has 32 bit OS (armhf) on it. However, JetPack 2.3 only supports installation of 64 bit components (aarch64). Therefore, besides selecting CUDA component, you also need select the “Flash OS” component to flash it with 64 bit OS.