It is the same RAW files converted in-camera in two ways: Standard colour profile + ADL off and Portrait + ADL "normal". I also included the default ACR conversion (that means luminance noise reduction set to 0, colour noise reduction set to 25).
As I remember, the highest ISO value that still uses analogue amplification in the D7100 is 3200. Wouldn't this mean that ISO 25600 is effectively pushed by 3 stops?
The Portrait profile and ADL also brighten the shadows, which make the banding much more visible. But I can still clearly see the banding with the Standard profile.
In addition to the banding, there is an unnatural brightening at the bottom of the image. This is not due to the scene. It often appears at such high ISOs, especially starting from the 2nd image in a sequence of burst shots. Maybe it's related to the heat. Today I only took one image (no burst), but the ambient temperature here is 29 C ...
For some reason, the banding is much more apparent when I view the image on the camera's screen (compared to a computer). I always assumed that this is due to low-quality downsampling (zooming in just one step on the camera makes it even more visible).
The things I describe here are not specific to this one image. The camera has behaved like this since I got it.
But do keep in mind that this image was taken specifically to show banding: I chose a dark background extending from top to bottom and used ISO 25600. Most settings were left at defaults or automatic.
I really do wish that the D7100 had less banding, but I have learnt to live with it, and avoid it in practice without too much inconvenience. I have not found any free tools which can remove it fully, but there are some things that can help: avoid uniform dark backgrounds at high ISOs (detail in the background hides the banding), noise reduction in ACR helps, not viewing at full size (as is usual) helps, and Nik Dfine has a "debanding" feature which helps a little bit (but not enough to make me open it very often).

Standard colour profile, ADL turned off

Portrait colour profile, ADL set to normal

Default ACR conversion