It references the K1, but it seems to be how it is handled on both the K1 and X1 versions of Jetson, at least it is referenced from the X1 pages.That page appears to be for the Tegra K1 (A15).
I've been looking around at X1 material, but don't actually have access to either board or necessarily full docs which is why I threw this into the thread in the hopes of someone with more insight contributing something more decisive.
I don't have time to really dig into this, christmas event horizon is looming!