Number of encoders?

I’m looking at getting a Xavier dev kit to handle encoding/logging of several 4k cameras. The spec sheet for the Xavier module shows it can do 4 streams at 4k60fps. But the spec sheet for the developer kit using seemingly the same module can only do 2 streams at 4k60fps. Is this a typo, or is the developer kit a gimped version of the regular module?

Link to the developer kit: https://developer.nvidia.com/embedded/jetson-agx-xavier-developer-kit
Link to the module overview (click compare to see the 4 @ 4k60fps): https://www.nvidia.com/en-us/autonomous-machines/embedded-systems/

Hi,
On Xavier, we have verified and guaranteed

h265 encoding 2x 4kp60
h264 encoding 2x 4kp60

The module overview shows maximum hardware capability. With software stacks, we now achieve 2x 4kp60 on r32.1.