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:
Link to the module overview (click compare to see the 4 @ 4k60fps):

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.