Does Jetson TX2 development kit support 512 GB SD Card?

Does Jetson TX2 development kit support 512 GB SD Card?